Natural Number
Backlinks
Gurevič Identities
Semiring
Simplex Category
Augmented Simplex Category
Module over a Semiring
Factorial
Primitive Recursive Function
Tensor Product of Commutative Monoids
Conatural Number
S-M-N Theorem
Tarski's high school algebra problem