Esto debería de haber sido su mayor logro: demostrar que las matemáticas eran reducibles a (y deducibles de) la lógica, algo que había esbozado ya en el "Grundlagen" y a lo que había dedicado toda su carrera.