1
"Demostrar que la suma de los n primeros números naturales es igual a n"
2
"es un razonamiento que permite demostrar proposiciones que dependen de una variable n"
3
"Sea P(n) una propiedad que satisfacen los números naturales"
4
"si la propiedad se cumple en un nuemero n entonces tambien se cumple en n+1"
5
"es una ciencia formal que, partiendo de axiomas y siguiendo el razonamiento lógico, estudia las propiedades y relaciones entre entidades abstractas como números, figuras geométricas o símbolos"
6
"Para probar que una propiedad P se cumple en los números naturales, usando el principio de inducción matemática"
7
"primero se prueba que la propiedad se cumpla"
8
"es una premisa que, por considerarse evidente, se acepta sin demostración"