严谨

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

相关

  • 进行性多灶性白质脑病进行性多灶性白质脑病(英语:Progressive multifocal leukoencephalopathy,PML),或称进行性多灶性脑白质炎,是一种以进行性脑损伤和多灶性脑白质炎症为特点的罕见并致命的病毒性疾
  • 加勒比地区加勒比海及其附近区域。若依照联合国地理分区里的地理亚区来判定,加勒比地区的范围为加勒比海上的诸岛—西印度群岛,国家与地区包含安圭拉、安提瓜和巴布达、阿鲁巴、巴哈马、
  • 斯巴达坐标:37°4′55″N 22°25′25″E / 37.08194°N 22.42361°E / 37.08194; 22.42361斯巴达(希腊语:Σπάρτη,英语:Sparta),城邦本身名为拉刻代蒙(Λακεδαίμων, Lakeda
  • 干燥器干燥器是一种实验室玻璃仪器,用于暂时储存对潮湿敏感的试剂。常见干燥器形状是一个带盖的玻璃缸,下部有一塑料圆盘隔开的隔层,用于装填干燥剂。使用时在缸体和盖结合处涂上凡士
  • Bisub2/subSsub3/sub硫化铋是铋的硫化物,化学式Bi2S3,是辉铋矿的主要成分。Bi(III)盐的水溶液与硫化氢反应生成黑色的硫化铋沉淀:硫化铋也能通过铋与硫单质于500℃共热96小时制得。硫化铋溶于硝酸
  • 秃头查理查理二世(法语:Charles II le Chauve,823年6月13日-877年10月5日),加洛林王朝的法兰克人的国王(843年—877年在位),自875年为“罗马人的皇帝”。查理为法兰克王国查理一世之孙,是路易
  • 猴病毒40SV40全名猿猴空泡病毒40(Simian vacuolating virus 40)或猿猴病毒40(Simian virus 40),是一种多瘤病毒,也是一种DNA病毒,有造成肿瘤发生的潜在能力,不过通常会维持于潜伏感染(latent
  • 人造子宫人工子宫(或人造子宫;英语:Artificial uterus; 或英语:Artificial womb),是一种设想中的技术设备,模拟女性子宫的环境,孕育胎儿,从而达至真正的无痛生育繁殖的效果。
  • 欧洲自由贸易联盟欧洲自由贸易协会(英语:European Free Trade Association,缩写为EFTA)是欧洲一个促进贸易的组织。该组织于1960年5月3日成立。成员国有冰岛、挪威、瑞士以及列支敦士登 ,前成员国
  • 圣母教堂圣母教堂(丹麦语:Vor Frue Kirke)是位于丹麦首都哥本哈根的一座教堂,也是丹麦的国家教堂。紧邻哥本哈根大学主楼。现在的教堂建筑为新古典主义风格,竣工于1829年。教堂的历史可以