Una lógica de segundo orden incluye cuantificadores de varios tipos (formula_7), además de cuantificadores de primer orden que requieren variables como las de la lógica de primer orden, existen cuantificadores para subconjuntos o propiedades, que no pueden aparecer en una lógica de primer orden.