Re: Godel proved maths inconsistent not incompleteness theorem

On 2008-03-29, in sci.logic, Charlie-Boo wrote:
What are these usual proofs (other than the original)?

The proofs of the second incompleteness theorem that come to mind are
all variants of the original as set out in detail in Hilbert &
Bernays.

How do we know they are of no use?

Robinson arithmetic is too weak to prove the derivability conditions.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.

Relevant Pages