The following pages link to Successor function:
Showing 50 items.
- Axiom (links)
- Arithmetic (links)
- ST type theory (links)
- Agda (programming language) (links)
- Church–Turing thesis (links)
- List of mathematical objects (links)
- Functional programming (links)
- Logarithm (links)
- Mathematical logic (links)
- Multiplication (links)
- Natural number (links)
- Primitive notion (links)
- Peano axioms (links)
- Type theory (links)
- Arity (links)
- Monus (links)
- Zeration (redirect page) (links)
- Pentation (links)
- Division (mathematics) (links)
- Addition (links)
- Increment and decrement operators (links)
- Lean (proof assistant) (links)
- Subtraction (links)
- Inductive type (links)
- Proofs involving the addition of natural numbers (links)
- Exponentiation (links)
- Constructive set theory (links)
- Path ordering (term rewriting) (links)
- Ultrafinitism (links)
- Finitism (links)
- Foundations of mathematics (links)
- Serial relation (links)
- Function (mathematics) (links)
- Richard Dedekind (links)
- Large numbers (links)
- Axiomatic system (links)
- Exponential growth (links)
- Transitive relation (links)
- Proof sketch for Gödel's first incompleteness theorem (links)
- Robinson arithmetic (links)
- Equivalent definitions of mathematical structures (links)
- Glossary of logic (links)
- Four fours (links)
- Hyperoperation (links)
- Parity of zero (links)
- Nth root (links)
- Church encoding (links)
- Successor map (redirect page) (links)
- Knuth's up-arrow notation (links)
- Succession (links)