严谨

✍ dations ◷ 2025-01-23 09:07:13 #严谨

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

相关

肾脏肾（Kidney）是脊椎动物体内的一种器官，属于泌尿系统的一部分，负责过滤血液中的杂质、维持体液和电解质的平衡，最后产生尿液经由后续管道排出体外；同时也具备内分泌的功能以调节血压
义肢假体或假肢（英语：Prosthesis 或 Prosthetic implant）指人造肢体，用来取代肢体的功能障碍（不论暂时性或永久性），或是用来掩饰肢体伤残。与义体（如义乳、假鼻子、假发、假牙）最大的不同
缓存高速缓存（英语：cache，/kæʃ/ KASH ）简称缓存，原始意义是指访问速度比一般随机存取存储器（RAM）快的一种RAM，通常它不像系统主存那样使用DRAM技术，而使用昂贵但较快速的SRAM技术。Cach
地质地质学（法语、德语：Geologie；英语：Geology；拉丁语、西班牙语：Geologia；源于希腊语 γῆ 和 λoγία）是对地球的起源探讨压力与时间、历史和结构进行研究的学科。主要研究地球的物
黄昏三镖客《黄金三镖客》（意大利语：Il buono, il brutto, il cattivo，英语：The Good, the bad and the ugly）为意大利导演赛尔乔·莱翁内于1966年制作的西部片镖客三部曲的最后一部，其中以
戒断反应药物戒断（英语：drug withdrawal），一种因为停止药物治疗，或停止娱乐性药物、烟草、酒精的服用，而产生的综合症（symptoms）。在产生物质依赖的现象后，突然停止服用药物，在12至48小时内就
环海南岛国际公路自行车赛环海南岛国际公路自行车赛，创办于2006年，至今已举办十三届，赛事级别为2.Pro，是亚洲水平最高、影响力最大的顶级公路自行车赛之一。比赛路线环经全岛17个市县及1个经济开发区，涵盖
特提特提（Teti），又译为泰蒂，是埃及第六王朝的首位法老，可能是第五王朝末代法老乌尼斯的女婿。关于他的在位年数的古代记载分歧很大，一些现代学者认为他在位约12年。差不多所有乌尼斯的
布兰廷卡尔·亚尔马·布兰廷（Karl Hjalmar Branting，1860年11月23日－1925年2月24日），瑞典政治家和社会民主运动先驱，1921年获诺贝尔和平奖。他曾在斯德哥尔摩和乌普萨拉学习，1882年毕业于
杰日尼奥夫角杰日尼奥夫角又称迭日涅夫角（俄语：Мыс Дежнёва），是楚科奇半岛上的海岬，其最东端位于北纬66° 4' 45"，西经169° 39' 7"，是整个欧亚大陆的最东端。杰日尼奥夫角北面是楚克