Ontology Browser
›
arithmetic
› Every natural number has a successor
Every natural number has a successor
Layer 0 — Mathematics
in the
arithmetic
subtree
For every natural number n, S(n) is also a natural number.
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
Explore Every natural number has a successor on the interactive knowledge graph →