严谨 (数学)

✍ dations ◷ 2025-04-26 17:38:03 #数学术语

数学上,严谨不同于生活中的严谨,它指数学系统尤指公理系统的完备性和相容性。

完备性指公理数量不多不少正好可以推理出这门学科的全部结论;自洽性指公理系统内不存在悖论(即既是真又是假的命题)。比如仿射几何加上平行公设就成为欧几里得几何,或者加上第五公设的反命题就成为非欧几何之一,但后两者并不满足完备性要求,只有仿射几何学才是欧几里得几何类中的完备系统。一致性与哥德尔不完备定理并不矛盾,前者断言不存在既真又假的命题,而后者断言存在既不可证明又不可证伪的命题,就好比第五公设之于欧几里得几何,连续统假设之于公理化集合论,选择公理之于策梅洛-弗兰克尔集合论。

相关

  • 汉诺威汉诺威(德语:Hannover)位于莱讷河畔,德国下萨克森州的首府,位于北德平原和中德山地的相交处,既处于德国南北和东西铁路干线的交叉口,又濒临中德运河,是个水陆辐辏的交通枢纽。汉诺威
  • 分枝杆菌科分枝杆菌属(Mycobacterium)为放线菌门下的一个属,且为分枝杆菌科唯一的属。该属细菌包括许多已知在哺乳类动物中造成严重疾病的病原菌,包括结核杆菌(Mycobacterium tuberculosis)
  • 现br /象现象(古希腊语:φαινόμενoν;英语:phenomenon,复数型:phenomena)是指能被观察、观测到的事实。通常是用在较特别的事物上。“现象”一词源为“可见的东西”,英文的“phenomen
  • 脑血管摄影脑血管造影术是一种可以提供脑部血管影像的血管造影术,因此可以探知到诸如动静脉畸形和动脉瘤等脑部血管异常。1927年由葡萄牙医学家安东尼奥·埃加斯·莫尼斯发明,他同时也发
  • 尤耶亚科山尤耶亚科山(西班牙语:Volcán Llullaillaco;克丘亚语:Yuyayyaku)是一座层状火山,位于阿根廷与智利的边境附近,属于安地斯山脉。尤耶亚科山也是世界上第二高的活火山,仅次于奥霍斯-德
  • 粉芽粉芽(soredium,复数为soredia)是地衣常见的一种无性生殖构造,为外观呈粉状的繁殖体,由地衣中真菌的菌丝包裹共生的绿藻或蓝绿菌而形成。粉芽可能散布于地衣的表面,也可能集中于一
  • 夺氢反应夺氢反应是指化学反应中,原来和一元素结合的氢自由基被其他元素夺取而结合,其通式如下: X. + H-Y -> X-H + Y.夺氢反应的例子像一般的氧化反应、碳氢化合物的燃、及和含有Fe(V)
  • 陆军防化学院中国人民解放军陆军防化学院,简称陆军防化学院,位于北京市昌平区,隶属中国人民解放军陆军,担负为全军培养中、初级防化指挥军官和中、高级防化工程技术军官的任务。2017年时,学院
  • 国家国有资产管理局国家国有资产管理局是中华人民共和国国务院直属机构。负责国有资产管理。财政部归口管理。第七届全国人民代表大会第一次会议批准,1988年8月成立。内设:其他下属单位:根据第八
  • 上法兰西大区上法兰西大区(法语:Hauts-de-France)为法国大区,是根据2014年大区重划,合并北部-加来海峡、皮卡第两个大区,2016年1月1日起生效。(法文:Nord-Pas-de-Calais)原是法国北部一个大区的名