This did not prove that these axioms were independent of the other axioms of set theory, but when this was finally established by Cohen in 1963 he built on these ideas of Gödel.
Ito ay hindi mapatunayan na ang mga axioms ay independiyenteng ng iba pang mga axioms ng set theory, ngunit kapag ito ay sa wakas na itinaguyod ng Cohen sa 1963 na binuo niya sa mga ideya ng Gödel.