严谨 (数学)

✍ dations ◷ 2025-09-09 16:01:01 #数学术语

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

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

相关

斗兽场圆形剧场（拉丁语：amphitheatrum），又称圆形竞技场，是一种中间露天、四周则被圆形或椭圆形的建筑所环绕的表演场地。场地的中央为进行表演的地方，座位则沿四周排列。这种建筑起源于
生命系统中的旋转运动能够进行滚动运动的有机体是存在的。然而，尽管轮子和螺旋桨之类的结构对于交通工具来说必不可少，这类结构对于生命体的运动似乎并无重要意义（一些特殊的鞭毛是例外，它们能像开瓶
欧洲多用途巡防舰€6.70亿（2014年）（法国） €5.80亿（2005年）（意大利） €4.70亿欧洲多用途巡防舰（法语：Frégate européenne multi-mission，意大利语：Fregata europea multi-missione，通常缩写为FREMM），为法
全球第四十一位索引国防预算石油储量军事（武装部队）死刑国债生育率最高点官方语言地理政体面积代码陆地面积人口人口密度国内生产总值国徽国旗国歌国家格言首都城市
亨德里克·范德胡斯特亨德里克·克里斯托菲尔·“亨克”·范德胡斯特，ForMemRS（荷兰语：Hendrik Christoffel "Henk" van de Hulst，1918年11月19日－2000年7月31日），荷兰天文学家和数学家。1944年，范德胡斯
福岛50死士福岛50死士是对2011年福岛第一核电站发生泄漏事故后，东京电力公司针对800多名工作人员进行撤离时自愿或被要求留下来的50位继续在核电厂内进行紧急维修作业者的称呼。后来有
铁路列车铁路列车，简称列车，或称火车，是指在铁路轨道上行驶的车辆，通常由多节车厢所组成，可以载运乘客或是货物。火车的动力来源可以来自个别的铁路机车或是将动力分散到每个车厢的动力分
不征国不征之国是明朝开国皇帝明太祖朱元璋所提出的政策，宣布不会征服十五个邻近国家，以维系与这些国家的和睦关系，同时促进各国间贸易发展。明军将蒙元军事势力赶出中原后，仍需要驻守
国立交通大学前瞻火箭研究中心国立交通大学前瞻火箭研究中心（英语：Advanced Rocket Research Center，缩写为ARRC）是私人与企业捐款于2012年在国立交通大学成立的探空火箭研究学术机构，成立宗旨意在促进台湾太
巴西外交巴西外交由巴西对外关系部（Ministério das Relações Exteriores）负责掌理，巴西在拉丁美洲的政治与经济上占有举足轻重的地位，也是世界政经关系的要角。巴西的外交政策反映其