principle of mathematical induction (Q54500890)
mathematical axiom
Language:
(P31) (Q17736)
(P361) (Q842755)
(P1542) (Q178377)
(P2534) P(0)\land\forall x(P(x)\implies P(x+1))\implies\forall xP(x)
(P6104) (Q8487137)
other details
aliases principle of induction
induction axiom
mathematical induction axiom
principle of weak induction
weak induction axiom
weak induction
description mathematical axiom

External Links