Estaba convencido de que las matemáticas y el lenguaje podían ser reducidos a la lógica.