TheoremBase

Principle of Induction for the Natural Numbers

Statement

Let N\mathbb{N} be the set of natural numbers, with successor map SS as in that definition. We take as an axiom the following principle of induction.

If A⊆NA\subseteq\mathbb{N} satisfies

  1. 1∈A1\in A, and
  2. S(n)∈AS(n)\in A for every n∈An\in A,

then A=NA=\mathbb{N}.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…