Origin of language
article-link
What links here
Successor function
Tetration
article-link
Set-theoretic definition of natural numbers
article-link
Rewriting
article-link
Intuitionistic type theory
article-link
Succession
article-link
Knuth's up-arrow notation
article-link
Four fours
article-link
Transitive relation
article-link
Function (mathematics)
article-link
Foundations of mathematics
article-link
Finitism
article-link
Ultrafinitism
article-link
Addition
article-link
Arity
article-link
Type theory
article-link
Peano axioms
article-link
Primitive notion
article-link
Natural number
article-link
Mathematical logic
article-link
Functional programming
article-link
Church–Turing thesis
article-link
Arithmetic
article-link
Axiom
article-link