Re: Godels theorem ends in paradox-simply proof





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
.