There are some people claim that the induction principle is an axiom however there are a proof. Theorem: Let P a proposition in N.We suppose that exist a non negative integer n0 such that: H1: Pn0 is True H2:For every integer n greater or equal than n0 Pn==>Pn+1 Let S is the set of propositions for n that are false.We suppose S have at least two element an element then it have a least element k0>n0 and Pk0 is false and k0-1>n0 and Pk-1 is true but Pk0-1==>Pk0 so S is an empty set


closed as unclear what you're asking by Leucippus, Shailesh, user99914, Xam, Robert Z Dec 2 '17 at 6:48

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • 1
    $\begingroup$ Do you have a question? $\endgroup$ – Lee Mosher Dec 1 '17 at 23:17
  • $\begingroup$ yes i want to know is the induction principle are axiom or have a proof $\endgroup$ – Oneriste Dec 1 '17 at 23:18
  • $\begingroup$ It depends on your foundations. The Peano axioms usually include an induction axiom schema (and the language of the Peano axioms don't include any way to talk directly about arbitrary subsets of the natural numbers). Your proof makes use of a different principle, either an axiom or a theorem, that every nonempty subset of the natural numbers has a smallest element. $\endgroup$ – Daniel Schepler Dec 1 '17 at 23:20
  • $\begingroup$ Whereas in ZFC, for example, if you define $\mathbb{N}$ as the set of finite von Neumann ordinals, then this "well founded" principle on $\mathbb{N}$ can be proved as a theorem. $\endgroup$ – Daniel Schepler Dec 1 '17 at 23:20
  • $\begingroup$ in what foundation induction principle have proof $\endgroup$ – Oneriste Dec 1 '17 at 23:21

There are many possible starting points for the axiomatic development of mathematics.

In one popular starting point, namely Peano's axioms for the natural numbers, induction is an axiom. You can see this development in Tao's book "Analysis I".

When doing analysis, another popular starting point is the axioms for the real numbers, namely, the ordered field axioms plus the completeness axiom. In that case the natural numbers can be defined and induction can be proved as a theorem. You can see this development in the introduction to Apostol's "Mathematical Analysis".

Nowadays, it is quite popular to start instead from axioms for set theory, namely the ZF axioms or the ZFC axioms. In that case one can again define the natural numbers and induction can be proved as a theorem. You can see this development in set theory textbooks, which I'm less familiar with, but I do have a fondness for Paul Cohen's book "Set theory and the continuum hypothesis" in which you'll find this point of view.

  • $\begingroup$ Thanks for your reply $\endgroup$ – Oneriste Dec 1 '17 at 23:22

I think that it is simply an axiom.


  • $\begingroup$ and what about the proof i give it is false ? $\endgroup$ – Oneriste Dec 1 '17 at 23:20

Not the answer you're looking for? Browse other questions tagged or ask your own question.