List of publications in mathematics
article-link
What links here
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Von Neumann universe
article-link
Diagonal lemma
article-link
Gödel's incompleteness theorems
article-link
Philosophy of mathematics
article-link
Peano axioms
article-link
Mathematical logic
article-link
Kurt Gödel
article-link
Automated theorem proving
article-link