Title: Sentences undecidable in formalized arithmetic
Subtitle: an exposition of the theory of Kurt Gödel.
Subjects: Gödel's theorem, Semantics (Philosophy), Symbolic and mathematical Logic, Goedel's theorem
People: Kurt Gödel (1906-1978)