Lógica de Segundo Orden

Un marco lógico que extiende la sintaxis de primer orden permitiendo cuantificación no solo sobre elementos individuales del dominio sino también sobre relaciones, funciones o subconjuntos del dominio (es decir, las variables de segundo orden abarcan objetos de tipo predicado).