In order to start this process it was necessary to devise a set of axioms on which such a complete theory could be based.
Upang simulan ang proseso na ito, ito ay kinakailangan para magbalangkas ng isang set ng mga axioms sa kung saan tulad ng isang kumpletong teorya ay maaaring batay.