That would only work if you also say “there must be an error somewhere in Gödel’s proof”.
Gödel’s proof assumes the consistency of the theory that G is being created for. It’s not an error in the proof, but it’s not an assumption you’re allowed to make when talking about your own logical system.
That would only work if you also say “there must be an error somewhere in Gödel’s proof”.
Gödel’s proof assumes the consistency of the theory that G is being created for. It’s not an error in the proof, but it’s not an assumption you’re allowed to make when talking about your own logical system.