Title: The incompleteness of formal mathematical systems
First published: 1951
Subjects: Mathematics, Philosophy