[erichahn]

I never said it is a paradox. I never said that PA or Q is inconsistent. I said that they cannot prove their own consistency by Gödels theorem. Hence we don't know if Gödels theorem was formalized in an inconsistent system.

Honestly it would be weird if the incompleteness theorems don't apply to themselves.

[ProfHewitt]

The logical contradiction is that allowing the [Gödel 1931]

proposition I'mUnprovable into foundations makes the

foundations inconsistent.