Además, una lógica de segundo orden también puede cuantificar sobre propiedades.