严谨

✍ dations ◷ 2025-06-06 09:05:41 #严谨

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

相关

实证医学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学实证医学（英语：Evidence-based medicine
主动运输主动运输（active transport）是一种物质逆电化学梯度的跨细胞膜的运动。在细胞中，这一过程通常伴随着高浓度的分子积累，如金属离子、葡萄糖和氨基酸。相对于被动运输，主动运输的进
伊比利亚美洲伊比利亚美洲（西班牙语：Iberoamérica，葡萄牙语：Ibero-América）是指使用西班牙语和葡萄牙语的所有美洲国家和地区的总称，它们曾经都是西班牙或葡萄牙的殖民地，属于西班牙殖民帝国
脯氨酸脯氨酸（Proline，缩写为Pro 或P ）是一个α-氨基酸，20个DNA编码的其中之一。其对应密码子为CCU，CCC，CCA和CCG。脯氨酸不是一种必需氨基酸，人体可以自行合成。在20个蛋白质形成氨基酸
旧石器时代旧石器时代（英语：Paleolithic age）是石器时代的早期阶段，一般划定此时期为距今约260万年或250万年（能人首次制造出石器）至1.2万年前（农业文明的出现）。地质时代属于上新世晚期至更新
茄碱茄碱（Solanine），又称龙葵碱、龙葵素、茄苷，是茄科（茄科）物种中被发现的一种糖苷生物碱毒素，例如在马铃薯（Solanum tuberosum），番茄（Solanum lycopersicum）和茄子（Solanum melongena）的物种
cnBetacnBeta.COM（被网民简称为CB、cβ），官方自我定位“中文业界资讯站”，是一个提供IT相关新闻资讯、技术文章和评论的中文网站。其主要特色为游客的匿名评论及线上互动，形成独特的社
驯养业驯化（英语：Domestication）是指一种生物的成长与生殖逐渐受另一种生物利用与掌控的过程，例如人类栽培各种农作物、畜牧，以及切叶蚁驯养真菌。人类驯化动植物的目的主要包括作为食
盲鳗纲见内文盲鳗亚纲（学名：Myxini）是一类海洋脊椎动物，在食物链上属于食腐动物。过去是无颌总纲之下的一目，现在则是无颌总纲下的圆口纲下的一亚纲。盲鳗广泛分布于全球三大洋的温带、
潮州坐标：22°33′00″N 120°32′35″E / 22.549876°N 120.542952°E / 22.549876; 120.542952潮州镇（台湾话：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMa