严谨 (数学)

✍ dations ◷ 2025-06-29 15:21:21 #数学术语

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

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

相关

  • 三段论逻辑谬误直言三段论是所有前提都是直言命题的演绎推理。例子:前两个命题叫做前提。如果这个三段论是有效的,这两个前提逻辑上蕴含了最后的命题,它叫做结论。结论的真实性建立在前提的真
  • 邻里咖啡店邻里咖啡店或传统咖啡店(马来语:Kopitiam)是一种结合传统早餐和咖啡店的东南亚流行饮食文化,Kopitiam一词是结合马来语中的咖啡(kopi)和福建话中的店(白话字:tiàm)而成的混合词。典
  • IRST伊朗标准时间(IRST)或伊朗时间(IT)为伊朗所采用的时间标准。伊朗采用协调世界时UTC+03:30。伊朗标准时间为借由伊朗所在的经线东经52.5度而定义出。时任伊朗总统马哈茂德·艾哈
  • 罂粟籽罂粟籽,又名御米、芥子,罂粟的种子,是一种在世界各地广泛使用的调味料,可用于制油,许多地区也将它当成一种草药来使用。一般使用方法为原粒或经研磨后,加入烘焙食品或酱料中以增加
  • 近代汉语近代汉语指古代汉语与现代汉语之间以早期白话文献为代表的汉语。近代汉语的上限学界的观点相去较远,最早的定为5世纪(六朝),最晚的定为13世纪(宋末元初),前后相差800多年。随着时间
  • 七氯七氯(Heptachlor)又称七氯化茚,是一种有机氯化合物,六氯环戊二烯类杀虫剂。七氯通常为白色晶体或茶褐色蜡状固体,带有樟脑或雪松的气味。其化学结构稳定,不易分解和降解,会在环境里
  • 威廉·库欣威廉·库欣(英语:William Cushing;1732年3月1日-1810年9月13日)或译为威廉·顾盛,马萨诸塞州人,1789-1810年担任美国最高法院大法官, 为华盛顿总统任命的美国最早六位大法官之一,也是
  • 构相异构构象异构(英语:Conformational isomerism,又译结构异构或构形异构,指由于原子环绕于化学键四周,而导致结构式相同,却具有化学构象或构象异构体之差异的分子现象。有三种效应,会使某
  • 2019冠状病毒病冈比亚疫情2019冠状病毒病冈比亚疫情,介绍在2019新型冠状病毒疫情中,在冈比亚发生的情况。当地时间17日晚,冈比亚卫生部长宣布,冈比亚确诊首例新冠肺炎病例。据报导,该确诊病例为一名20多岁
  • ATC代码 (A11)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A11(维生素)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin