严谨 (数学)

✍ dations ◷ 2025-05-19 15:16:49 #数学术语

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

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

相关

蜂请帮助翻译和补充蜂通常指所有（Apoidea）的昆虫，主要分为两类：狩蜂（Spheciformes，如泥蜂）及蜂族（Anthophila），和蚂蚁同属膜翅目，普通蜜蜂只是其中一科，所有的蜂都以花蜜和花粉为食物，并在
脱衣舞俱乐部脱衣舞俱乐部（Strip club）是脱衣舞表演者提供成人娱乐的场所，他们主要会表演脱衣舞等艳舞。脱衣舞俱乐部通常都是以夜总会或酒吧模式经营，但也可能会采用卡巴莱或剧场模式。二战
性别角色性别角色，相当于性别规范，是一种社会角色，包括人们基于一切生物性别与性别表达的感知或态度，而且被认为是适当、合宜或可接受的。性别角色通常集中在女性气质和男性气质的概念上
2012年现象2012年预言或2012年现象（英语：2012 phenomenon）是一个关于末世论的预言、信仰或传说、谣言，宣称美洲的玛雅文明中的玛雅历长达5,126年周期的结束，预言了地球、世界和人类社会在公
火成岩岩浆岩，是指岩浆或熔岩冷却和凝固后（地壳里喷出的岩浆，或者被熔化的现存岩石）所成形的一种岩石。岩浆岩是三种主要岩石类型之一，其他两种类型分别是沉积岩和变质岩。现在已经发现
四<< 0 1 2 3 4 5 6 7 8 9 >>4（四）是3与5之间的自然数，是第一个合成数。
晋江坐标：24°30′44″N 118°24′56″E / 24.51222°N 118.41556°E / 24.51222; 118.41556晋江市（闽南语：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSys
反坦克导弹反坦克导弹或反坦克制导武器是一种被专门用来袭击并摧毁坦克或者其它装甲战斗车辆的制导导弹。坦克于第一次世界大战出现在战场之后，各种反坦克武器相继出笼，在二次世界大战爆
柚柚（学名：Citrus maxima）是芸香科柑橘属果树，其特征与柑橘相同。柚的果实称为柚子，又名香栾、朱栾、内紫、条、雷柚、碌柚、胡柑、臭橙、臭柚、抛、苞、脬、文旦，广泛分布于中国河
MSXMSX是一个标准化的家用计算机体系结构，最早由微软于1983年6月16日提出，并由后来的微软日本副总裁与ASCII主管西和彦构思。有人说这是由微软领导，试图在标准硬件制造商建立统一