严谨

✍ dations ◷ 2025-10-21 06:45:12 #严谨

数学上，严谨不同于生活中的严谨，它指数学系统（尤指公理系统）的完备性和相容性。完备性指公理数量不多不少正好可以推导出这门学科的全部结论；自洽性指公理系统内不存在悖论（即既是真又是假的命题）。比如绝对几何学加上第五公设就成为欧式几何，或者加上第五公设的反命题就成为非欧几何，但后两者并不满足完备性要求，只有绝对几何学才是度量几何类中的完备系统。自洽性与哥德尔不完备定理并不矛盾，前者断言不存在既真又假的命题，而后者断言存在既不可证明又不可证伪的命题，就好比第五公设之于度量几何，连续统假设之于集合论，选择公理之于ZF系统。

相关

心肌梗死心肌梗死（Myocardial infarction简称MI、Acute myocardial infarction简称AMI），旧称心肌梗塞，是一种急性及严重的心脏状态。其成因是部分心肌的血液循环突然中断，心肌因无法得到
软骨炎软骨炎（英语：Chondritis）是软骨的炎症。它有几种形式，包括骨软骨炎、肋软骨炎（英语：Costochondritis）、复发性多发性软骨炎（英语：Relapsing polychondritis）。肋软骨炎特别之处是它的
哈德逊湾哈德森湾（英语：Hudson Bay，或称哈德逊湾）位于加拿大东北部巴芬岛与拉布拉多半岛西侧的大型海湾，面积122.6万平方千米。平均水深257米。北部时常会有北极熊出现。主要港口有丘吉尔
交配行为受到阻碍生殖隔离，又称生殖屏障，在生物学上通常指由于生殖方面的原因，即使地缘关系相近，但物种不同的类群之间不能互相交配，或不易交配成功的隔离机制。一般来讲生殖隔离用以定义物种，不具
甲酸甲酸（英文：Formic acid）又称作蚁酸，化学式为HCOOH。蚂蚁和蜜蜂等膜翅目昆虫的分泌液中含有蚁酸，当初人们蒸馏蚂蚁时制得蚁酸，故有此名。甲酸无色而有刺激气味，且有腐蚀性，人类皮肤接
起始翻译原核翻译（Prokaryotic translation）是指原核生物细胞中信使RNA被70S核糖体翻译为蛋白质的过程。该过程可分为起始、延伸、终止与再循环四个主要步骤。原核生物的翻译起始阶段
忏悔者爱德华宣信者爱德华（Saint Edward the Confessor，1003年－1066年1月5日），埃塞尔雷德与诺曼底的爱玛之子。是英国的盎格鲁-撒克逊王朝君主（1042年6月8日至1066年1月5日在位）。爱德华的君位
期望在概率论和统计学中，一个离散性随机变量的期望值（或数学期望，亦简称期望，物理学中称为期待值）是试验中每次可能的结果乘以其结果概率的总和。换句话说，期望值像是随机试验在同样的
亚细亚 (消歧义)亚洲，又称亚细亚，是世界最大的洲。亚细亚还可以指：
奈瑟菌N. animalis N. bacilliformis N. canis N. cinerea N. dentiae N. elongata N. europea N. flava N. flavescens 淋病奈瑟菌(N. gonorrhoeae) N. iguanae N. lactamica N.