严谨

✍ dations ◷ 2025-05-15 20:09:30 #严谨

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

相关

比奥呼吸比奥呼吸（Biot's respiration）是由卡米·比奥在1876年归结出的一种病理性的周期性呼吸。它的特点是：呼吸短、浅。在几次呼吸后，会出现规律或不规律的呼吸停止。该病的预后通常
嗜中性白细胞低下嗜中性白血球低下症（Neutropenia 或 Neutropaenia），亦称中性粒细胞减少症，是血液中的一种中性粒细胞（一种白血球细胞）浓度异常低的血液系统疾病，中性粒细胞弥补大多数的循环白血球，
真空采血管真空采血管（Vacutainer）是一种真空无菌玻璃或塑料管封闭的血液收集管，管内的真空促进预定的液体量疏入。这种真空管通常用来静脉采血，也有的用来收集尿液样本。真空管管壁有时会
二性霉素B两性霉素B（英语：Amphotericin B，商品名：Fungizone），一种具有抑菌或杀菌作用的抗霉菌剂。对新生隐球菌、白色念珠菌、组织胞浆菌、球孢子菌、酿母菌均具抑制作用。其所产生的药效端
脓肿脓疡（拉丁语：abscessus; 德语：Abszess; 法语：Abcès; 英语：Abscess）又称作脓疮、脓肿。指的是在身体组织中蓄积的脓。接近体表的脓疡会有红、肿、热、痛等症状，触诊病灶时感觉其内
药用植物药用植物也被称为草药、药草，自史前时代以来一直在传统医学实践中被发现和使用。植物合成了数百种化合物，其功能包括植物抵抗昆虫，真菌，植物病害和食草哺乳动物。许多植物化学物
阿巴卡维阿巴卡维（英语：Abacavir，简称 ABC ）是预防及治疗艾滋病的药物。本品属于核苷类（英语：nucleoside analog）反转录酶抑制剂（NRTI 药物），借由阻断人类免疫缺乏病毒（HIV）必需的反转录酶发挥
引导性问题引导性问题（leading question）或暗示性审问（suggestive interrogation），通常用于描述审问嫌疑犯的情形，是指提问内容包含了审问者对事件的解释与想法。引导性问题使被审问者的回答
182线市道182号（台南－七星洋）是位于台湾台南市、高雄市两市之间的市道。西起台南市中西区，东至高雄市内门区七星洋，全长共计34.864公里。市道182号也可以说是台86线的替代道路。原名“
ABO血型系统ABO血型系统是人类最早认识也是最为重要的血型系统。ABO血型由红细胞膜上的不同抗原所决定，与人类输血时发生的溶血反应密切相关，具有重要的临床意义。ABO抗原也存在于牛、羊