Esto supuso que su creación de la lógica proposicional y de segundo orden quedaran ocultos para la mayor parte del público bajo una patina de notación.