严谨 (数学)

✍ dations ◷ 2025-12-05 05:44:44 #数学术语

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

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

相关

伊凡·巴甫洛夫伊万·彼得罗维奇·巴甫洛夫（俄语：Иван Петрович Павлов，1849年9月26日－1936年2月27日），俄罗斯生理学家、心理学家、医师。他因对狗研究而首先对古典制约作出描
12S MT-RNR1线粒体12S RNA是一种存在于线粒体核糖体（mitoribosome，MR）中的rRNA，沉降系数约为12S长度约为959nt。在人类细胞中，12S rRNA由MTRNR1基因编码。哺乳动物线粒体的基因组种都包含37
自然铜自然铜（Native copper）是铜元素的天然金属（英语：Native metal）矿物。铜一般以化合态形式出现，而自然铜是一种相对稀有的矿藏。自然铜在史前文明史上是一种重要的矿产，在人类掌握金
埃贡·席勒艾贡·席勒（Egon Schiele，1890年6月12日－1918年10月31日）是奥地利画家，师承古斯塔夫·克林姆，是20世纪初期重要的表现主义画家。席勒的作品特色是表现力强烈，描绘扭曲的人物和肢体，
圣马科斯省圣马科斯省（Departamento de San Marcos）是危地马拉西南部的一个省，西界墨西哥，南临太平洋。全国最高峰塔胡穆尔科火山位于本省。面积3,791平方公里，2003年人口794,951人。首府
尾脂腺尾脂腺是鸟类的一种皮肤衍生物，为羽尾基背部的皮下，是一种全泌腺。尾脂腺的分泌物主要是一种能被苏木精染色的颗粒，一般鸟类用喙啄取将其涂抹在羽毛及角质鳞片上，起到保护的作用
庆尚北道庆尚北道（韩语：경상북도／慶尙北道 Gyeongsang-bukdo）是位于朝鲜半岛东南部的一个韩国行政道，简称庆北（韩语：경북 Gyeongbuk），面积19,031平方公里，人口超过270万，首府是安东市。庆尚北
侵犯保险侵犯保险是无政府资本主义里面的一个概念。它不是指由政府为生命、自由和财产提供安全保护，而是指由一个具有法律地位的实体为受害者统计伤害损失，并向保险公司索赔，赔偿的责任
工人物语系列《工人物语》（英语：），是由德国的软件公司Blue Byte Software所推出的即时战略游戏。最初于1993年发行Amiga电脑的版本，在隔年推出个人电脑的版本；原名Serf City - the Life is Fed
283<< 280281282283284285286287288289>> 283是282与284之间的自然数。