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

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

算術公理系統的無矛盾性

來源:本站原創 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.

主站蜘蛛池模板: 壶关县| 泗阳县| 荥阳市| 白玉县| 甘孜县| 洪雅县| 巴青县| 湘乡市| 彭泽县| 井研县| 安阳市| 东乌| 长顺县| 镇原县| 莱西市| 中阳县| 金湖县| 蓬溪县| 柳林县| 黔西| 嘉善县| 文化| 台州市| 景德镇市| 江门市| 夏邑县| 清镇市| 云安县| 聊城市| 慈溪市| 平江县| 浦东新区| 永德县| 措勤县| 宜阳县| 凤城市| 清流县| 同江市| 墨竹工卡县| 基隆市| 澄迈县|