Recordando, podemos demostrar inducción de dos formas (débil y fuerte).
Axioma. (Primer Principio de Inducción)
Sea
un conjunto. Si tal que:
entonces,
.
Axioma. (Segundo Principio de Inducción)
Sea
un conjunto. Si tal que entonces,
. De forma más sencilla, utilizando la definición de
: Si
tal que , entonces
En la misma definición se observa que