Le asombraba el poder de la lógica matemática para explicar la certeza aparente de los teoremas matemáticos.