Quedaba todavía saber si se podían encontrar contradicciones derivadas de los axiomas en los que se basaban los "Principia" y si, por lo tanto, existían afirmaciones matemáticas que no podían ser probadas o demostradas falsas en este sistema.