New Foundations
article-link
What links here
Set-theoretic definition of natural numbers
Singleton (mathematics)
article-link
Semiring
article-link
Hereditarily finite set
article-link
Computable set
article-link
Successor function
article-link
Axiom of infinity
article-link
Analytic philosophy
article-link
Gottlob Frege
article-link
Where Mathematics Comes From
article-link
Type theory
article-link
Empty set
article-link
Bertrand Russell
article-link