严谨

✍ dations ◷ 2025-09-28 15:39:09 #严谨

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

相关

恶性高热恶性高热、致命高热（英语：Malignant hyperthermia (MH)）是病人因全身麻醉而导致的严重反应，是因为使用特定全身麻醉药而引发的罕见危及生命病症（英语：life-threatening condition），
胶囊胶囊剂以可溶性明胶作为包覆材料的囊状药剂，可避免口服时，药物与味觉器官直接接触引发恶心反应。请阅读硬胶囊请阅读软胶囊
聚乙烯亚胺聚乙烯亚胺（Polyethylenimine，PEI）分为线性和分枝状两种，线性聚乙烯亚胺包含的全是仲胺，而分枝状聚乙烯亚胺中有伯胺、仲胺和叔胺基。任何分子量的线性聚乙烯亚胺在常温下是固体，
白鲸记《白鲸记》（Moby-Dick; or, The Whale）为赫尔曼·梅尔维尔发表于1851年的小说，被认为是美国最伟大的长篇小说之一。《白鲸记》这个名字说的是一头叫莫比·迪克（Moby Dick）的白色
弗里茨·泽尔尼克弗里茨·塞尔尼克（荷兰语：Frits Zernike，1888年7月16日－1966年3月10日），荷兰物理学家，1953年因相衬显微技术而获诺贝尔物理学奖。1901年：伦琴 / 1902年：洛伦兹、塞曼 / 1903年：贝克
氯氟碳化合物氯氟烃（英语：Chlorofluorocarbons，簡稱CFCs），又称氟氯烃、氯氟碳化合物、氟氯碳化合物、氟氯碳化物、氯氟化碳，是一组由氯、氟及碳组成的卤代烷。因为低活跃性、不易燃烧及无毒，氯
睫毛睫毛是一种毛发，长于眼睛的眼睑的边缘。具有保护眼睛的功用，十分敏感。如果有尘埃等的异物碰到睫毛，眼睑会反射性地合上，以保护眼球。在现时世上多种文化里，长长的眼睫毛被视为一
穆　穆穆穆（1954年8月－），中国大气动力学家。出生于安徽定远。籍贯安徽定远。中国科学院大气物理研究所研究员。1978年毕业于安徽大学数学系，1982年获该校应用数学硕士学位，1985年在复旦
乌鲁汝乌鲁汝－卡塔曲塔国家公园是位于澳大利亚北领地的南部的一个国家公园，在1981年被列入世界自然遗产。乌鲁汝－卡塔曲塔国家公园内最著名的地标是乌鲁汝和卡塔丘塔。乌鲁汝位于离它
分子生态学分子生态学是利用进化生物学理论，采用分子生物学和基因组学的实验方法和技术手段、统计学和数学的分析方法，通过计算机科学的技术和算法，旁及地学、古气候学等, 研究物种和种群