Mediante la introducción de una nueva sintaxis, con la inclusión de los llamados cuantificadores («para todo» o «para al menos un»), permitió formalizar una enorme cantidad de nuevos argumentos.