严谨 (数学)

✍ dations ◷ 2024-12-23 04:52:15 #数学术语

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

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

相关

  • 响应元件响应元件或应答元件(英语:Response elements)是基因启动子区域的一段短的DNA序列,能与特异的转录因子结合,调控基因的转录。在接受外界刺激条件下,转录激活蛋白会结合到响应元件上
  • 尼康尼康株式会社(英文:Nikon,日语:株式会社ニコン)简称尼康(英文:Nikon),是一家日本大型光学仪器制造商,也是三菱集团的关系企业之一。“Nikon”此企业名称,为原始之商号“日本光学工业”(N
  • 波里道利约翰·威廉·波里道利(英语:John William Polidori,1795年9月7日-1821年8月24日)是英国作家、医生。他的作品以浪漫主义运动和奇幻小说而闻名,也是吸血鬼小说的创造者。他最成功的
  • 也门里亚尔里亚尔是也门共和国的流通货币。辅币单位费尔,1里亚尔=100费尔。
  • 中央委员会朝鲜民主主义人民共和国主题朝鲜劳动党中央委员会(韩语:조선로동당 중앙위원회)是朝鲜劳动党的中央权力机构,经朝鲜劳动党代表大会或党代表会议选举产生。中央委员会由中央政治
  • 审议式民主审议式民主(英语:deliberative democracy),又称商讨式民主(英语:discursive democracy)、协商民主、商议民主,指称公民就一项政策或议题,经过深思熟虑后,与不同意见者进行理性对话,在相
  • 隋唐洛阳城隋唐洛阳城遗址位于河南省洛阳市近郊,始建于隋炀帝时期,格局仿照隋大兴城修建,时称东都或东京。历经了隋朝、唐朝、五代和北宋,前后沿用500余年,为隋唐的东都,北宋的西都。2010年
  • 台湾瀑布列表台湾瀑布列表,台湾岛位于欧亚大陆东南沿海,属季风气候区,气候温润多雨。且地形多山,地势陡峭高耸。因而山高水急,各种大小规模的瀑布遍布全台各地。本条目列举出台湾各地的瀑布。
  • 红麹酒红麹酒,是一种以红麹米和糯米为主要原料酿制成的粮食酒,为中国特产。红麹米虽然具备一定的糖化和发酵能力,却不足以单独产出高浓度的酒,因此自古以来,红麹酒需另加酒曲来拟补。把
  • 悬架系统悬吊系统,亦称为悬掛系统或悬载系统(英语:Suspension),乃是一种由弹簧、减震筒和连杆所构成的车用系统,用于连接车辆与其车轮,一台车辆的前轮与后轮悬架设计有可能会使用不同设计。