Within this system it is harder to prove the independence of the axiom of choice and this was not achieved until the work of Cohen in 1963.
Sa loob ng sistemang ito na ito ay mahirap na patunayan ang pagsasarili ng axiom ng mga pagpipilian at ito ay hindi makakamtan hanggang sa ang gawain ng Cohen sa 1963.