# Re: Godels theorem ends in paradox-simply proof

*From*: herbzet <herbzet@xxxxxxxxx>*Date*: Tue, 08 Jun 2010 23:02:57 -0400

Aatu Koskensilta wrote:

herbzet writes:

If you're not disagreeing with anything, I'm not sure what you're

driving at. Could you elaborate?

I was just pointing out that while your reasoning was perfectly fine

there's no need to invoke classical logic to conclude from Gödel's proof

that for every sufficiently expressive consistent formal theory there's

an arithmetical truth it doesn't prove.

Generally, I don't invoke classical logic, it just kicks down the door

and muscles its way in without invitation.

--

hz

.

**References**:**Re: Godels theorem ends in paradox-simply proof***From:*herbzet

**Re: Godels theorem ends in paradox-simply proof***From:*Aatu Koskensilta

- Prev by Date:
**Re: Godels theorem ends in paradox-simply proof** - Next by Date:
**Re: Godels theorem ends in paradox-simply proof** - Previous by thread:
**Re: Godels theorem ends in paradox-simply proof** - Next by thread:
**Re: Godels theorem ends in paradox-simply proof** - Index(es):