严谨 (数学)

✍ dations ◷ 2025-10-25 18:48:03 #数学术语

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

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

相关

人类自愿灭绝运动人类自愿灭绝运动（英语：Voluntary Human Extinction Movement，简称VHEMT）是一场号召所有人放弃生育，逐步实现自愿性人类灭绝的环保运动。运动的支持者认为人类灭绝可以防止环境恶
撞击在物理学里，假若两个物体相互接触，造成能量与动量的改变与传输，则称这两个物体互相碰撞。假若，碰撞的时间很小，而互相作用的力很大，则称为撞击。在这撞击过程中，最初的接触点叫做弹
ʋ̥清唇齿近音是一种辅音，被使用于一些口语中，国际音标写作⟨ʋ̥⟩或⟨f̞⟩，X-SAMPA音标则记作P_0、v\_0或f_o。清唇齿近音是南非英语中/f/典型的同位异音。相似地，/v/也常常被当
色情成瘾色情成瘾（英语：Pornography addiction），是一种强迫性的性行为成瘾模式，有此现象的人在消费色情内容时，会对自己的身体、心理、社会或经济情况造成负面影响。虽然《精神疾病诊断与
支持摩根索计划摩根索计划（Morgenthau Plan）是二战期间提出的德国占领计划之一，计划的提出人是美国财政部长小亨利·摩根索。该计划的内容包括将德国分为南、北德；将德国的主要工业区萨尔兰鲁
社会演化社会演化，是演化生物学的分支，旨趣于社会行为，譬如一些能够使他人获得适应度后果的行为。社会行为可以根据其所产生的适应度后果来分类。如果一个能够增加行动者的直接适应度的
布占泰布占泰（满语：ᠪᡠᠵᠠᠨᡨᠠᡳ，转写：Bujantai，1575年-1618年），称汗后作布占泰汗，乌拉那拉氏，末代乌拉国主，第二代国主布干第三子。在其兄满泰任贝勒时他曾跟随九部联军出征古勒山与努
工程科学工程科学可以指：
波尔克詹姆斯·诺克斯·波尔克（James Knox Polk，1795年11月2日－1849年6月15日），第11任美国总统，任期自1845年3月4日至1849年3月4日。波尔克出生于北卡罗来纳州梅克伦堡县的派恩维尔，但他
GC含量GC含量是在所研究的对象（例如放线菌）的全基因组中，（鸟嘌呤）（Guanine）和胞嘧啶（Cytosine）所占的比例。一种生物的基因组或特定DNA、RNA片段有特定的GC含量。在DNA链中G和C是以三个氢键