The purpose of this investigation is to carry out the primary part of Hilbert 's programme, i.e. to establish the consistency of set theory, abstract arithmetic and propositional logic and the method used is to construct a new and fundamental theory from which these theories can be deduced.
Ang layunin ng imbestigasyon na ito ay upang isagawa ang mga pangunahing bahagi ng Hilbert 's programa, ibig sabihin na magtatag ng consistency magse-set ng mga teorya, mahirap unawain arithmetic at propositional lohika at ang pamamaraan na ginamit ay upang bumuo ng isang bagong at pangunahing teorya mula sa kung saan ang mga theories ay maaaring deduced.