Pasar de la lógica de primer orden a la lógica de segundo orden nos permitió hablar de conjuntos de objetos en el dominio de primer orden, dentro del lenguaje formal. ¿Por qué parar ahí? Por ejemplo, ...Pasar de la lógica de primer orden a la lógica de segundo orden nos permitió hablar de conjuntos de objetos en el dominio de primer orden, dentro del lenguaje formal. ¿Por qué parar ahí? Por ejemplo, la lógica de tercer orden debería permitirnos tratar con conjuntos de conjuntos de objetos, o tal vez incluso conjuntos que contienen tanto objetos como conjuntos de objetos. Y la lógica de cuarto orden nos permitirá hablar de conjuntos de objetos de ese tipo. Como habrás adivinado, se puede iterar
