He believed that in principle this could be done, by showing that: all of mathematics follows from a correctly chosen finite system of axioms; and that some such axiom system is provably consistent through some means such as the epsilon calculus.
Κατ 'αρχήν, πίστευε ότι αυτό μπορούσε να γίνει, αποδεικνύοντας ότι: όλα τα μαθηματικά προκύπτουν από ένα σωστά επιλεγμένο πεπερασμένο σύστημα από αξιώματα και ένα τέτοιο αξιωματικό σύστημα είναι αποδεδειγμένα συνεπές με κάποιο τρόπο όπως ο υπολογισμός του έψιλον.