严谨

✍ dations ◷ 2025-07-19 03:42:13 #严谨

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

相关

自体免疫自身免疫（英语：autoimmunity）是指生物体针对自己身体的健康细胞和组织产生的免疫反应。任何由这种免疫异常反应造成的疾病称为自身免疫性疾病（英语：autoimmune disease）。著名的例
抑郁性障碍抑郁症，亦称忧郁症，是一类以抑郁心境为主要特点的情感障碍。它主要包括：重度抑郁症、持续性抑郁症、季节性抑郁症。它们的共同表现为：长时间持续的抑郁情绪，并且这种情绪明显超过
戴维·芒福德戴维·布赖恩特·芒福德（David Bryant Mumford，1937年6月11日－），又译大卫·曼福德，美国数学家。在哈佛大学，他上奥斯卡·扎里斯基的课时，引起了对代数几何学的兴趣。芒福德曾研究模
弩弩，又称弩弓，现亦称十字弓（来自英语的Crossbow），是一种射击兵器。它是一种装有臂的弓，主要由弩臂（弩身）、弩弓（弩翼）、弓弦和弩机等部分组成。因不需要在拉弦时同时瞄准，所以对使用者的
阅读框架阅读框架（英语：Reading Frame）在分子生物学中是指将mRNA的碱基序列划分成连续、互不重叠的三元组的方式或这样的划分方式在相应DNA上的对应。这样的三元组称为密码子。每个密码
三官大帝三官大帝，指的是道教中掌管天界（天府）、地界（地府）、水界（水府）三界之神天官、地官和水官，闽南语俗称“三界公”，客家话称为“三界爷”，又称“三元大帝”。三位神明掌握三界间的一切行
单链构象多态性单链构象多态性（英语：single-strand conformation polymorphism，简称为SSCP)是一种分离核酸的技术，可以分离相同长度但序列不同的核酸（性质类似于DGGE和TGGE，但方法不同）。在非变性
城市人口密度城市人口密度（英语：Urban density）或城市密度是城市规划和城市设计中使用的术语，指居住在划定的市区内的人口密度。因此，它与人口密度的其他衡量标准不同。城市密度被认为是了解
聚烯烃聚烯烃是烯烃经过加聚反应形成的高分子化合物。这类有机聚合物通常由许多相同或不同的简单烯烃分子（如乙烯、丙烯、1-丁烯、1-戊烯、1-己烯、1-辛烯、4-甲基-1-戊烯等α-烯烃
洛雷托-乌卡亚利西班牙语洛雷托- 乌卡亚利（Loreto-Ucayali）西班牙语，也称为亚马逊西班牙语（Español Amazónico）或丛林西班牙语（Español de la Selva），是亚马逊地区使用的西班牙语变体，使用者大多分布在秘