Sin embargo, en la lógica de primer orden, no podemos cuantificar sobre predicados.