These pages are editable by the community, so please contribute! Click here to learn more about this feature. We’d love to hear your feedback.
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions.... read more
List the books that contain additional information about this book.
If you have any suggestions for how we can improve this page or if there are sections that you would like us to add, please let us know.