Having produced an axiom system he wanted to prove that his axioms were consistent before publishing the work, but he failed to achieve this.
Ang pagkakaroon ng ginawa ng isang axiom system niya kinakailangan upang patunayan na ang kanyang axioms ay pare-pareho bago-publish ang mga trabaho, ngunit siya ay nabigo na makamit ito.