严谨

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

相关

  • 实证医学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学实证医学(英语:Evidence-based medicine
  • 主动运输主动运输(active transport)是一种物质逆电化学梯度的跨细胞膜的运动。在细胞中,这一过程通常伴随着高浓度的分子积累,如金属离子、葡萄糖和氨基酸。相对于被动运输,主动运输的进
  • 伊比利亚美洲伊比利亚美洲(西班牙语:Iberoamérica,葡萄牙语:Ibero-América)是指使用西班牙语和葡萄牙语的所有美洲国家和地区的总称,它们曾经都是西班牙或葡萄牙的殖民地,属于西班牙殖民帝国
  • 脯氨酸脯氨酸(Proline,缩写为Pro 或P )是一个α-氨基酸,20个DNA编码的其中之一。其对应密码子为CCU,CCC,CCA和CCG。脯氨酸不是一种必需氨基酸,人体可以自行合成。在20个蛋白质形成氨基酸
  • 旧石器时代旧石器时代(英语:Paleolithic age)是石器时代的早期阶段,一般划定此时期为距今约260万年或250万年(能人首次制造出石器)至1.2万年前(农业文明的出现)。地质时代属于上新世晚期至更新
  • 茄碱茄碱(Solanine),又称龙葵碱、龙葵素、茄苷,是茄科(茄科)物种中被发现的一种糖苷生物碱毒素,例如在马铃薯(Solanum tuberosum),番茄(Solanum lycopersicum)和茄子(Solanum melongena)的物种
  • cnBetacnBeta.COM(被网民简称为CB、cβ),官方自我定位“中文业界资讯站”,是一个提供IT相关新闻资讯、技术文章和评论的中文网站。其主要特色为游客的匿名评论及线上互动,形成独特的社
  • 驯养业驯化(英语:Domestication)是指一种生物的成长与生殖逐渐受另一种生物利用与掌控的过程,例如人类栽培各种农作物、畜牧,以及切叶蚁驯养真菌。人类驯化动植物的目的主要包括作为食
  • 盲鳗纲见内文盲鳗亚纲(学名:Myxini)是一类海洋脊椎动物,在食物链上属于食腐动物。过去是无颌总纲之下的一目,现在则是无颌总纲下的圆口纲下的一亚纲。盲鳗广泛分布于全球三大洋的温带、
  • 潮州坐标:22°33′00″N 120°32′35″E / 22.549876°N 120.542952°E / 22.549876; 120.542952潮州镇(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMa