Esto constituyó un hito en la historia de la lógica formal, y la mayor aportación al campo desde Aristóteles.