严谨 (数学)

✍ dations ◷ 2025-10-03 20:42:05 #数学术语

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

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

相关

  • 天仙子胺天仙子胺(Hyoscyamine)是一种托烷类生物碱,作为次级代谢产物存在于天仙子,曼德拉草,曼陀罗花,番茄和颠茄等茄科植物。药物阿托品就是天仙子胺经提取处理后得到的消旋产物,因此天仙
  • 特伦德拉格特伦德拉格(挪威语:Trøndelag)是挪威中部一郡。该郡最早成立于1687年。1804年该郡被分成南特伦德拉格和北特伦德拉格两郡,2018年两郡重新合并。特伦德拉格和邻近的默勒-鲁姆斯
  • 乌克兰国家银行乌克兰国家银行(乌克兰语:Національний банк України),其前身为苏联中央银行的乌克兰分行,苏联解体后从1992年初开始逐步承担起乌克兰的中央银行职能。根
  • 克洛泰尔三世克洛泰尔三世( 法语:Clotaire III,拉丁语:Clotharius III;652年-673年3月10日),法兰克人墨洛温王朝的纽斯特里亚和勃艮第国王(657年10月31日-673年3月10日在位)。他是纽斯特里亚和勃艮
  • 高铼酸盐高铼酸盐是含有阴离子ReO4-的盐类,又称偏高铼酸盐。常见的高铼酸盐有高铼酸钠、高铼酸铵等。高铼酸盐可以通过高铼酸或高铼酸铵和金属或相应的氧化物、氢氧化物或碳酸盐反应
  • 群体智能群体智能源于对以蚂蚁、蜜蜂等为代表的社会性昆虫的群体行为的研究。最早被用在细胞机器人系统的描述中。它的控制是分布式的,不存在中心控制。群体具有自组织性。
  • Xanthophyceae黄藻(Xanthophyceae)是一类属于不等鞭毛类的藻类生物。体类型为单细胞、群体、多核管状或丝状体。细胞壁含多量果胶质。运动的个体和动孢子具有2条不等长鞭毛,极少数具有1条鞭
  • 电台网电台广播网(英语:Radio Network)可以分为两种:一种是单工广播网,主要用于公共信息和娱乐传媒业务;另一种则是双工系统,主要用于公共服务或公共安全事务,例如警察、消防、出租车及送
  • 济南铁路局中国铁路济南局集团有限公司,原名济南铁路局,是中国国家铁路集团下属公司。济南局集团管辖范围大致为山东省境内及周边的铁路网,包括京沪铁路和京九铁路于山东省内一段,以及省内
  • 2015年夏季世界大学生运动会第二十八届夏季世界大学生运动会(韩语:제28회 하계 유니버시아드)于2015年7月3日至7月14日在韩国光州市举行。2009年5月23日,国际大学运动总会宣布由光州市夺得本届赛事的主办权