严谨 (数学)

✍ dations ◷ 2025-07-22 10:54:05 #数学术语

数学上,严谨不同于生活中的严谨,它指数学系统尤指公理系统的完备性和相容性。

完备性指公理数量不多不少正好可以推理出这门学科的全部结论;自洽性指公理系统内不存在悖论(即既是真又是假的命题)。比如仿射几何加上平行公设就成为欧几里得几何,或者加上第五公设的反命题就成为非欧几何之一,但后两者并不满足完备性要求,只有仿射几何学才是欧几里得几何类中的完备系统。一致性与哥德尔不完备定理并不矛盾,前者断言不存在既真又假的命题,而后者断言存在既不可证明又不可证伪的命题,就好比第五公设之于欧几里得几何,连续统假设之于公理化集合论,选择公理之于策梅洛-弗兰克尔集合论。

相关

  • 文化体质人类学 文化人类学 语言人类学 分子人类学 社会人类学 考古学应用人类学 民族志 参与观察 文化相对论文化 • 社会 史前史 • 人类演化 亲属 婚姻 • 家庭 物质文化 种
  • 日尔曼语日耳曼语族是印欧语系的一支,是居住在北部欧洲日耳曼民族的语族。这一族语言有鲜明的特征,最著名的有关于辅音演变的格里姆定律。一些早期(约公元2世纪)的日耳曼语言发展出自己
  • 亚基蛋白质亚基(又称:蛋白质次单元,英语:Protein subunit)、蛋白亚基或亚基蛋白在结构生物学中是指参与组成蛋白质复合物(寡聚体或多聚体)的单个蛋白质分子。一个蛋白质亚基就是一条多
  • 黄曲霉毒素黄曲毒素(aflatoxin),也称作黄曲霉素,黄曲霉毒素,是一种有强烈生物毒性的化合物,常由黄曲霉及寄生曲霉等另外几种霉菌在霉变的谷物中产生,如大米、豆类、花生等,是目前为止最强的致
  • 国家安全部国家安全部(德语:Ministerium für Staatssicherheit,缩写为MfS)是德意志民主共和国的国家安全机构,通称“斯塔西”(Stasi,国际音标:.mw-parser-output .IPA{font-family:"Charis SI
  • Trados塔多思(SDL Trados)是一款电脑辅助翻译软件,由德国Trados GmbH公司开发,现由语言服务供应商SDL国际发布。Trados GmbH公司由约亨·胡梅尔(Jochen Hummel)和希科·克尼普豪森(Iko Kn
  • 番茄红素2,6,10,14,19,23,27,31- Octamethyldotriaconta- 2,6,8,10,12,14,16,18,20,22,24,26,30- tridecaene番茄红素(Lycopene、分子式 C40H56)是一种明亮红色的类胡萝卜素颜料,在番
  • 下颚骨下颌骨又称下颚骨,是最大,最强的颜面骨,也是颅骨中唯一可以动的骨头,与上颌骨形成口腔。侧视图。前视图。下颌骨下颌骨外部侧视图。下颌骨内部侧视图。
  • 欧胡岛瓦胡岛 (夏威夷语:Oʻahu,英语:Oahu,/oʊˈɑːhuː/),又译为欧胡岛,或被称为“聚集之岛”,是夏威夷群岛中面积第三大的岛屿,也是群岛中人口最多的岛屿,聚集了夏威夷州总人口的大约三分
  • 左岸乌克兰左岸乌克兰 (乌克兰语:Лівобережна Україна、俄语:Левобережная Украина、波兰语:Ukraina Lewobrzeżna)是指第聂伯河以东的乌克兰地区。1