Skip header navigation

University of Stirling



On Godel Sentences and What They Say

Milne P (2007) On Godel Sentences and What They Say. Philosophia Mathematica, 15 (2), pp. 193-226.

Proofs of Gödel’s First Incompleteness Theorem are often accompanied by claims such as that the gödel sentence constructed in the course of the proof says of itself that it is unprovable and that it is true. The validity of such claims depends closely on how the sentence is constructed. Only by tightly constraining the means of construction can one obtain gödel sentences of which it is correct, without further ado, to say that they say of themselves that they are unprovable and that they are true; otherwise a false theory can yield false gödel sentences.

Gödel sentences; Gödel, Kurt.; Incompleteness theorem; Gödel’s theorem; Mathematics Philosophy

Philosophia Mathematica: Volume 15, Issue 2

Author(s)Milne, Peter
Publication date30/06/2007
Publication date online04/2007
PublisherOxford University Press
Scroll back to the top