严谨 (数学)

✍ dations ◷ 2025-08-13 19:33:39 #数学术语

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

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

相关

突触突触（法语、英语、德语: Synapse）是神经元之间，或神经元与肌细胞、腺体之间通信的特异性接头。神经元与肌肉细胞之间的突触亦称为神经肌肉接头（neuromuscular junction）。中枢神
布尔诺坐标：49°12′00″N 16°37′00″E / 49.20000°N 16.61667°E / 49.20000; 16.61667布尔诺（捷克语：Brno 捷克语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos
肯塔维奥斯·卡德维尔-波普肯塔维奥斯·塔奈尔·卡德维尔-波普（英语：Kentavious Tannell Caldwell-Pope，1993年2月18日－）外号“KCP”，美国职业篮球运动员，现时效力于NBA联盟的洛杉矶湖人队。在2013年NBA选秀
胸部外科医生胸腔外科学或称心胸肺外科（英语：Cardiothoracic Surgery），是一门医学专科，专门研究胸腔内器官，包括心脏、肺、气道与呼吸系统、胸壁、纵隔、膈肌和食道等，以及这些器官与部位的诊断
澳大利亚国防军澳大利亚国防军（英文：Australian Defence Force，缩写ADF）是负责澳大利亚国防的军事组织，包括澳大利亚陆军，澳大利亚皇家海军和澳大利亚皇家空军，总共有80,561名官兵在役（包括55,068
贝当亨利·菲利普·贝当（法语：Henri Philippe Pétain，1856年4月24日－1951年7月23日），法国陆军将领、政治家，也是法国维希政府的元首，总理。贝当曾在第一次世界大战期间担任法军总司令，带
阜部阜部，为汉字索引中的部首之一，康熙字典214个部首中的第一百七十个（八划的则为第四个）。就繁体和简体中文中，阜部归于八划部首。阜部只以左方为部字，俗称“左耳旁”或“左耳刀”。
英法关系英法关系是指法国和英国之间的双边关系。两国之间的关系可以追溯至高卢战争时期。在罗马帝国时代，两国都曾经历罗马帝国统治，并都曾展开对罗马统治的抵抗。虽然两国在历史上也
中国旧石器文化列表旧石器时代按照时间可分作“最早期”（300万至70万年前）、“早期”（70万至10万年前）、“中期”（10万至3万5千年前）、“晚期”（3万5千至9千年前）四期。出土文物“最早期”的主要研究对
载脂蛋白C11ALE, 1ALF, 1IOJ, 1OPP· fatty acid binding · phosphatidylcholine binding · lipase inhibitor activity · very-low-density lipoprotein particle · high-den