严谨

✍ dations ◷ 2025-11-30 16:15:50 #严谨

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

相关

氢氯噻嗪氢氯噻嗪（英语：Hydrochlorothiazide，简称HCTZ、HCT或HZT）是一种利尿剂。通常用来治疗高血压及因液体堆积造成的水肿。其他用途还包含治疗尿崩症和肾小管性酸中毒，它也可以减轻高
水泡状胎块葡萄胎也称水泡状胎、水泡状胎块（Hydatidiform Mole）是一种异常的人类妊娠，系由着床但未成功发育的受精卵所造成。因其特征为胎盘绒毛间质水肿，形成透明或半透明的薄壁水泡，形似
中心语短语的中心词（英语：head 或 nucleus），也称中心语，指的是决定短语的语法范畴的词，是一个短语的中心部分。短语的其他成分与中心词在语法或语义上有着某些联系。如名词短语（英语：noun
香豆素香豆素（Coumarin），学名苯并 α {\displaystyle {\rm {\ \alpha }}}
坎伯兰坎伯兰（Cumberland）是英国的一个历史地区，位于英格兰的西北部。在12世纪至1974年之间，其是一个实际存在的行政区划。在1889年至1974年之间，其曾是一个行政区划上的郡。1974年，坎伯
OriOri指的是脱氧核糖核酸序列上有一个固定的复制起始点，有时也被叫做origin。在原核生物中，如大肠杆菌（E.coli）的DNA序列上，在第82等分位点上，便存在有该复制起始点，该点被称作OriC。
制造商主要的民用航空发动机生产厂商有：以下是从过去至今的飞行器引擎制造商列表。较重要的那些被显示为粗体。航空史 · 飞行器（制造商） · 飞行器发动机（制造商） · 旋翼机（制造商） ·
亚斯伯格症阿斯伯格综合征（英语：Asperger syndrome，简称 AS），是广泛性发育障碍（PDD）中的一种综合征，属于自闭症谱系障碍（ASD）。其重要特征是社交与非言语交际的困难，同时伴随着兴趣狭隘及重复特定
阿兰·霍奇金艾伦·劳埃德·霍奇金爵士，OM，KBE，FRS（英语：Sir Alan Lloyd Hodgkin，1914年2月5日－1998年12月20日），英国生理学家与生物物理学家，与安德鲁·赫胥黎（Andrew Fielding Huxley）因为共同研究
苯并[b]噻吩苯并噻吩（分子式：C8H6S），又称硫茚，是一种由苯环和噻吩环经 [ {\display