Su intento de dar soporte a la matemática axiomatizada con principios definidos, que eliminaría las incertidumbres teóricas, iba sin embargo a acabar en derrota.