Pages that link to "Successor function"
The following pages link to Successor function:
Displaying 13 items.
- Axiom (← links | edit)
- Arithmetic (← 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)