算術(shù)公理系統(tǒng)的無(wú)矛盾性
來(lái)源：本站原創(chuàng) 2005-03-20 08:08:39
歐氏幾何的無(wú)矛盾性可以歸結(jié)為算術(shù)公理的無(wú)矛盾性。希爾伯特曾提出用形式主義計(jì)劃的證明論方法加以證明，哥德?tīng)?931年發(fā)表不完備性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限歸納法證明了算術(shù)公理系統(tǒng)的無(wú)矛盾性。
相關(guān)文章
- 小學(xué)1-6年級(jí)作文素材大全
- 全國(guó)小學(xué)升初中語(yǔ)數(shù)英三科試題匯總
- 小學(xué)1-6年級(jí)數(shù)學(xué)天天練
- 小學(xué)1-6年級(jí)奧數(shù)類(lèi)型例題講解整理匯總
- 小學(xué)1-6年級(jí)奧數(shù)練習(xí)題整理匯總
- 小學(xué)1-6年級(jí)奧數(shù)知識(shí)點(diǎn)匯總
- 小學(xué)1-6年級(jí)語(yǔ)數(shù)英教案匯總
- 小學(xué)語(yǔ)數(shù)英試題資料大全
- 小學(xué)1-6年級(jí)語(yǔ)數(shù)英期末試題整理匯總
- 小學(xué)1-6年級(jí)語(yǔ)數(shù)英期中試題整理匯總
- 小學(xué)1-6年語(yǔ)數(shù)英單元試題整理匯總
點(diǎn)擊查看更多
