Definición inductiva Uno de de los procedimientos para definir los objetos de los sistemas matemáticos y lógicos. Consiste en indicar: a) los objetos iniciales o elementales del sistema; b) 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.