1963年，美國數(shù)學(xué)家科思（P.Choen）證明連續(xù)統(tǒng)假設(shè)與ZF公理彼此獨(dú)立。因而，連續(xù)統(tǒng)假設(shè)不能用ZF公理加以證明。在這個意義下，問題已獲解決。

2、算術(shù)公理系統(tǒng)的無矛盾性

歐氏幾何的無矛盾性可以歸結(jié)為算術(shù)公理的無矛盾性。希爾伯特曾提出用形式主義計劃的證明論方法加以證明，哥德爾1931年發(fā)表不完備性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限歸納法證明了算術(shù)公理系統(tǒng)的無矛盾性。

3、只根據(jù)合同公理證明等底等高的兩個四面體有相等之體積是不可能的

問題的意思是：存在兩個等高等底的四面體，它們不可能分解為有限個小四面體，使這兩組四面體彼此全等。德思（M.Dehn）在1900年已解決。

4、兩點間以直線為距離最短線問題

此問題提的一般。滿足此性質(zhì)的幾何很多，因而需要加以某些限制條件。1973年，蘇聯(lián)數(shù)學(xué)家波格列洛夫（Pogleov）宣布，在對稱距離情況下，問題獲解決。

5、拓?fù)鋵W(xué)成為李群的條件（拓?fù)淙海?/strong>

這一個問題簡稱連續(xù)群的解析性，即是否每一個局部歐氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥馬利（Montgomery）、齊平（Zippin）共同解決[2] 。1953年，日本的山邁英彥已得到完全肯定的結(jié)果。