欧美一级淫片,亚洲一区资源,外国成人直播,在线精品国产亚洲

奧數網
全國站
您現在的位置:奧數 > 小學數學網 > 趣味數學 > 一年級 > 正文

算術公理系統的無矛盾性

來源:本站原創 2008-05-07 18:06:53

智能內容

 

 

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

廣告合作請加微信:17310823356

京ICP備09042963號-15 京公網安備:11010802027854

違法和不良信息舉報電話:010-56762110 舉報郵箱:wzjubao@tal.com

奧數版權所有Copyright2005-2021 www.buaa3.com. All Rights Reserved.

主站蜘蛛池模板: 且末县| 日喀则市| 马山县| 纳雍县| 安顺市| 策勒县| 文成县| 曲水县| 天门市| 泰州市| 石嘴山市| 鸡东县| 铅山县| 通化市| 汉寿县| 怀宁县| 富锦市| 珲春市| 永春县| 青冈县| 台南市| 邵阳县| 临清市| 加查县| 宁国市| 阿克| 射洪县| 万安县| 寻甸| 铜鼓县| 龙南县| 凌源市| 杂多县| 陇川县| 乐清市| 庆安县| 长宁区| 德令哈市| 封开县| 皋兰县| 沧源|