The following pages link to Successor function:
Displayed 29 items.
- Axiom (← links | edit)
- Arithmetic (← links | edit)
- Church–Turing thesis (← links | edit)
- Functional programming (← links | edit)
- Mathematical logic (← links | edit)
- Natural number (← links | edit)
- Primitive notion (← links | edit)
- Peano axioms (← links | edit)
- Type theory (← links | edit)
- Arity (← links | edit)
- Addition (← links | edit)
- Ultrafinitism (← links | edit)
- Finitism (← links | edit)
- Foundations of mathematics (← links | edit)
- Function (mathematics) (← links | edit)
- Axiomatic system (← links | edit)
- Transitive relation (← links | edit)
- Four fours (← links | edit)
- Knuth's up-arrow notation (← links | edit)
- Succession (← links | edit)
- Intuitionistic type theory (← links | edit)
- Rewriting (← links | edit)
- Set-theoretic definition of natural numbers (← links | edit)
- Tetration (← links | edit)
- Origin of language (← links | edit)
- Natural numbers object (← links | edit)
- Unary function (← links | edit)
- Successor (← links | edit)
- Elementary arithmetic (← links | edit)