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

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

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

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

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

4、兩點(diǎn)間以直線為距離最短線問(wèn)題

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

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

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