严谨

✍ dations ◷ 2025-02-23 18:20:35 #严谨

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

相关

嘧啶嘧啶（拼音：mì dìng，注音：ㄇㄧˋ ㄉㄧㄥˋ，粤拼：mat6 ding6，音同“密定”、分子式：C4H4N2、IUPAC命名：Pyrimidine）为1,3-二氮杂苯，是一种杂环化合物。嘧啶由2个氮原子取代苯分子间位上
瑞德西韦GS-5734 伦地西韦瑞德西韦（英语：Remdesivir），又译伦地西韦，是由美国吉利德科学公司开发的一种新型实验性广谱抗病毒药物，用来针对埃博拉病毒及被认为可以有效抑制呼吸道上皮细胞
形式逻辑逻辑（古希腊语：λογική；德语：Logik；法语：logique；英语：logic；意大利语、西班牙语、葡萄牙语: logica），又称理则、论理、推理、推论，是对有效推论的哲学研究。逻辑被使用在大部分的
泉水泉是地下水天然出露至地表的地点，或者地下含水层露出地表的地点，大多位于冲积扇顶部。当含水层或含水通道被破坏露出地表时，地下水便涌出地表成泉。泉是地下水的一种重要的排泄
奥地利-巴伐利亚语奥地利-巴伐利亚语（巴伐利亚语：Boarisch .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","
法国悖论法国悖论是一个流行语，此一词语最早出现在1980年代，是在描述一种似乎矛盾的流行病学观察：法国人饮食中的饱和脂肪相对偏高，可是其冠状动脉心脏疾病（CHD）的发病率却相对偏低，这和普
孙鸿烈孙鸿烈（1932年1月31日－），中国土壤地理与土地资源学家。出生于北京。籍贯河南濮阳。1954年北京农业大学土壤农化系毕业。1960年中国科学院沈阳林业土壤研究所研究生毕业。1987年
span class=nowrapTlsub2/subSOsub4/sub/span&g硫酸亚铊是铊(I)的硫酸盐，化学式为Tl2SO4，无臭无味，具有很高的毒性，曾被广泛用作杀鼠剂和杀虫剂，美国已于1972年起禁用，其他国家也陆续禁用。硫酸亚铊和K2SO4具有相同的结构。
轮轮是以圆形的物体造成大为减少磨擦。如果配上轴，即成为车的最主要构成部分。轮在交通运输中非常有用，是人类的重要发明之一。除了车轮以外，其他圆形的轮还有舵轮（英语：Ship's whe
开发区开发区广义上一般指中华人民共和国中央及地方政府为整合经济、高新技术资源或实验示范而划定的功能区，在功能区内通过给予优惠政策以吸引人才、资金、技术等资源，从而加快经济