严谨

✍ dations ◷ 2024-12-22 14:57:50 #严谨

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

相关

桃乐丝·安得森多萝西·汉思·安德森（英语：Dorothy Hansine Andersen，1901年5月15日－1963年3月3日）是一位美国医生，她第一个确认了囊肿性纤维化并描述病情。安德森出生于北卡罗来纳州阿什维尔，192
龟头炎龟头炎是人类男性龟头的一种炎症，当包皮也受到影响时被称作龟头包皮炎。周期性龟头炎可能会给包皮留下疤痕。
拉结拉结（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey Ash
孟-高棉语族孟高棉语族是东南亚的语言集合，包括孟语和高棉语等多种语言。按照传统的分类，这个语族与印度的蒙达语族（又译扪达语族）构成南亚语系。新近的分类已经抛弃这种二分法：Diffloth（2005
消毒药水消毒药水（Antiseptic(s)，源于古希腊语：ἀντί“对抗” 及σηπτικός sēptikos“使腐败的”）是一种用在活体生物组织及皮肤，以对抗外来微生物物种的外用消毒药水。杀伤口
西澳大利亚州西澳大利亚州（英语：Western Australia，缩写：WA），简称西澳，是澳大利亚联邦的一个州，位于澳大利亚西部，今划分为142个地方政府区域，幅员广达2,525,500平方公里，占全国总面积1/3，是面积最广
尤文图斯队尤文图斯足球俱乐部（Juventus Football Club S.p.A）简称尤文（Juve），是一家位于意大利皮埃蒙特大区都灵市的足球俱乐部。尤文图斯传统上的主场球衣是黑白相间的上衣配上黑色或白色
泽西岛泽西（Jersey），英国王冠属地，位于诺曼地半岛外海20公里处的海面上，是英吉利海峡靠近法国海岸线的海峡群岛里，面积与人口数都最大的一座。泽西岛与周边两座无人岛群——曼逵尔（Minqui
诺贝尔奖争议诺贝尔奖争议是一些关于历史上诺贝尔奖获奖者所产生的争议，而历年来文学奖与和平奖所招致的争议最多。诺贝尔奖是根据瑞典化学家阿尔弗雷德·诺贝尔的遗嘱所设立的奖项。他在
中国钢铁中国钢铁公司（简称中钢）是台湾最大的钢铁企业，为十大建设的重要项目之一，由中华民国政府出资成立，现为民营企业。其中钢集团总部大楼位于高雄市前镇区成功二路88号，总公司与主要工