[FOM] T + ~Con(T) Refutes Its Goedel Sentence
ps218 at cam.ac.uk
Sun Jun 9 15:58:43 EDT 2013
Richard Heck writes
> The general observation, which is presumably well-known, but which I've
> never seen mentioned in the textbooks from which I've taught, is that,
> for sufficiently strong T, T + ~Con(T) proves the negation of that
> theory's Goedel sentence.
For what it is worth, this explained and explored in my Introduction to
Gödel's Theorems (§§34.1, 34.2 in the second edition).
Dr Peter Smith
More information about the FOM