严谨

✍ dations ◷ 2025-06-28 03:58:18 #严谨

数学上，严谨不同于生活中的严谨，它指数学系统（尤指公理系统）的完备性和相容性。完备性指公理数量不多不少正好可以推导出这门学科的全部结论；自洽性指公理系统内不存在悖论（即既是真又是假的命题）。比如绝对几何学加上第五公设就成为欧式几何，或者加上第五公设的反命题就成为非欧几何，但后两者并不满足完备性要求，只有绝对几何学才是度量几何类中的完备系统。自洽性与哥德尔不完备定理并不矛盾，前者断言不存在既真又假的命题，而后者断言存在既不可证明又不可证伪的命题，就好比第五公设之于度量几何，连续统假设之于集合论，选择公理之于ZF系统。

相关

BNE西班牙国家图书馆（西班牙语：Biblioteca Nacional de España）是西班牙的国家图书资讯机构，也是西班牙最大的图书馆，位于马德里的雷科莱托斯大道。1712年，西班牙国王腓力五世创建了
维生素缺乏症维生素缺乏症（英文：Avitaminosis）是由维生素缺乏或者代谢转化（例如色氨酸转烟酸过程）缺损所引起的一系列慢性或长期的疾病，这类疾病根据与其有关的维生素的字母进行定名。与此相反
埃克塞特坐标：50°43′18″N 3°31′59″W / 50.72154°N 3.53311°W / 50.72154; -3.53311埃克塞特或爱思德（英语：Exeter，读音： /'.mw-parser-output .IPA{font-family:"Charis SIL","D
7-烯胆甾烷醇胆甾-7-烯-3β-醇或7-胆甾烯醇（英语：5α-Cholest-7-en-3β-ol，或 Lathosterol）是一种胆固醇合成的中间产物，从酵母甾醇合成而来，由甾醇C5去饱和酶（英语：Sterol-C5-desaturase-like）催
核运输核运输（英语：Nuclear transport）是细胞核膜上所进行各种运输作用，其中大分子受到核孔复合体（nuclear pore complexes，NPCs）的控制，而小分子则可以不受约束。核转运蛋白（karyopherin），如
高高部，为汉字索引中的部首之一，康熙字典214个部首中的第一百八十九个（十划的则为第三个）。就繁体和简体中文中，高部归于十划部首。高部只以左方、上方为部字。且无其他部首可用者
亨利·大卫·梭罗亨利·大卫·梭罗（Henry David Thoreau，1817年7月12日－1862年5月6日），美国作家、诗人、哲学家、废奴主义者、超验主义者，也曾任职土地勘测员。他最著名的作品有散文集《瓦尔登湖》
漠河县漠河市是黑龙江省大兴安岭地区下辖的一个县级市，是中国最北边的县级市。面积18233平方千米，人口83465人。邮政编码165300。市人民政府驻西林吉镇。市内的北红村是中国最北的村
坐便器马桶，又称便桶、粪桶、恭桶、虎子、木马子等，是指承接粪便、尿溺的厕所用具。马桶的使用方式为坐式，与蹲坑式厕所（也称为蹲式马桶）相对。尿罐、尿壶、尿盆等则仅限于承接尿液。广
台北宾馆台北宾馆是位于台湾台北市博爱特区内的官署建筑，门牌号码为凯达格兰大道1号。最初为台湾日治时期的总督官邸，现为中华民国的国家招待所，由中华民国外交部管理使用，专门接待国宾