Oʻz vaqtida Gilbert XX asrda matematikaning istiqbollarini belgilovchi 23 ta muammoni shakllantirgan edi. Birinchi oʻrinda kontinuum muammosi, aniqrogʻi, ushbu muammoning yechilishi imkoniyati turardi. Uni matematik mantiqning mavjud vositalari bilan inkor etib boʻlmasligini 1936-yilda Gyodel isbotladi. 1963-yilda esa Pol Koen shunday bir ish qildiki, bu ushbu masalani muammo sifatida koʻrmaslikka imkon berdi. Sanalarga eʼtibor bering, balki ular Koen nimani isbotlaganini aytib berar?