En la lógica muy a menudo definimos tipos de objetos inductivamente, es decir, especificando reglas para lo que cuenta como un objeto del tipo a definir que explican cómo obtener nuevos objetos de ese...En la lógica muy a menudo definimos tipos de objetos inductivamente, es decir, especificando reglas para lo que cuenta como un objeto del tipo a definir que explican cómo obtener nuevos objetos de ese tipo a partir de objetos antiguos de ese tipo.
