En este trabajo, el principio de la cuantificación del predicado se estableció explícitamente por primera vez.