严谨 (数学)
数学术语
数学上,严谨(rigor,mathematical rigor)不同于生活中的严谨,它指数学系统尤指公理系统的完备性和自洽性。
完备性指公理数量不多不少正好可以推理出这门学科的全部结论;自洽性指公理系统内不存在悖论(即既是真又是假的命题)。比如仿射几何加上平行公设就成为欧几里得几何,或者加上第五公设的反命题就成为非欧几何之一,但后两者并不满足完备性要求,只有仿射几何学才是欧几里得几何类中的完备系统。一致性与哥德爾不完備定理并不矛盾,前者断言不存在既真又假的命题,而后者断言存在既不可证明又不可证伪的命题,就好比第五公设之于欧几里得几何,连续统假设之于公理化集合论,选择公理之于策梅洛-弗兰克尔集合论。
参考文献编辑
- 参见徐利治的《微积分大意》
🔥 Top keywords: Baike: 首页淚之女王Special:搜索不夠善良的我們2024年湯姆斯盃金智媛2024年優霸盃金秀賢 (男演員)春色寄情人破墓怪獸8號乘風2024城市猎人排球少年!!背着善宰跑习近平承欢记張敬軒排球少年!!角色列表九龍城寨之圍城逆天奇案2BABYMONSTER六四事件ILLIT許瑋甯李主儐末日愚者與鳳行朴成焄鈴木亮平BOYNEXTDOOR方皓玟周處除三害 (電影)馬陸李美淑Seventeen (組合)崔永元完全省錢戀愛手冊921大地震机动战士GUNDAM SEED FREEDOM第二十条搜查班長1958NewJeans迷宮飯中華民國中华人民共和国林依晨愛的迫降葬送的芙莉蓮幕府將軍 (2024年電視劇)田馥甄三体 (小说)Energy (組合)(G)I-DLE傅崐萁周雨彤Believe-為你架起的橋樑-無職轉生~到了異世界就拿出真本事~Hide (电视剧)劉偉健劍星日本特技玩家徐譽庭郭東延黃道十二宮寄生獸:灰色部隊賀軍翔2024年花蓮地震支配物种朴智恩 (編劇)半生緣 (電影)HYBE邊佑錫WIND BREAKER—防風少年—柯震東香港來自星星的你宁安如梦鄭靚歆尹普美毛泽东白鹿 (演員)無職轉生~到了異世界就拿出真本事~角色列表戀愛兄妹草榴社区我獨自升級安東尼·布林肯李现LE SSERAFIM金秀賢影視作品列表少年歌行臧芮軒三流之路满城尽带黄金甲金正蘭但願人長久 (電影)国际劳动节P站