Title: Undecidable theories
First published: 1953
Subjects: Metamathematics, Gödel's theorem