Indukzio matematiko

Matematikan, indukzio matematikoaren printzipioa^[1], ${\displaystyle n}$-ren menpean dauden proposizioak egia diren ala ez frogatzea ahalbidetzen duen arrazonamendua da. Kontuan harturik, ${\displaystyle n}$ zenbaki arrunt infinituko multzoaren barruan dagoela.

Arrazonamendua hurrengoa izango litzateke:

${\displaystyle P}$ propietatea betetzen duen ${\displaystyle n}$ zenbaki arrunt bat hartuz, frogatu behar da edozein zenbaki ${\displaystyle n}$, ${\displaystyle P}$ propietatea izanik, inplikatzen^[2] duela ${\displaystyle n+1}$ zenbakiak ere propietatea beteko duela. Beraz ${\displaystyle n}$ baino handiagoak diren zenbaki guztiak ${\displaystyle P}$ propietatea beteko dute.

1. ↑ «Proof by Induction» comet.lehman.cuny.edu (Noiz kontsultatua: 2021-10-22).^{[Betiko hautsitako esteka]}
2. ↑ [https://sisbib.unmsm.edu.pe/bibvirtual/publicaciones/escri_pensam/1998_n1/la_logica_del_condic_y_la_imp.htm «La l�gica del condicional y la implicaci�n»] sisbib.unmsm.edu.pe (Noiz kontsultatua: 2021-10-22).