For every natural number n, S(n) is also a natural number.
Every natural number has a successor
Related concepts
- Universal quantifier
- Principle of mathematical induction
- Natural numbers (ℕ)
- Peano arithmetic (PA)
- Robinson arithmetic (Q)
- Primitive recursive function
- Grover's quantum search: ⌊π/4·√N⌋ oracle-query optimum (quantum)
- Quantum angular momentum
- Isothermal compressibility: κ_T = -(1/V)·(∂V/∂P)_T; ideal gas κ_T = 1/P