¨RAZONAMIENTO INDUCTIVO¨

Uno de de los procedimientos para definir los objetos de los sistemas matemáticos y lógicos. Consiste en indicar:
1.-los objetos iniciales o elementales del sistema;
2.- las reglas u operaciones, que permiten formar con los objetos de que se dispone, nuevos objetos del sistema.

De este modo se determina el número natural (en aritmética), la fórmula correctamente estructurada y también la correctamente demostrada (en los cálculos lógicos) y otros.
La definición inductiva ha de ser completa, es decir, con sus recursos han de quedar definidos todos los objetos del sistema dado y sólo ellos.