严谨

✍ dations ◷ 2025-04-25 04:48:01 #严谨

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

相关

焦虑症焦虑症或称焦急症（英文：anxiety disorder）是明显感觉焦虑和恐惧感的一种精神疾病。焦虑是对未来事件的担心，恐惧则是对当前事件的反应，这些感觉可能会导致身体症状，如心跳过速和颤
一致在语言学中，一致（Agreement）是指句子或词组中的某些成分，其形式须要在一些语法范畴上保持一致。例如，在英语中，they is 是不正确的，因为 they 属复数，be动词须要使用复数限定形式（are
古文陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
灵修灵修即“灵性的修炼”，宗教术语。世界宗教博物馆解释：“灵修是一种宗教的修行，涉及严肃的思维或沈思；此词源自于拉丁文，意谓著深奥且专注的思考。灵修可分为积极与消极两种：前者肯
siRNA小分子干扰核糖核酸（英语：small interfering RNA，缩写为siRNA），又译为小干扰核糖核酸，又称短干扰核糖核酸（short interfering RNA）或沉默核糖核酸（silencing RNA），是长度20到25个核苷酸
含羞草酸含羞草酸，又名含羞草氨酸，是一种毒性非蛋白氨基酸，化学性质类似于色氨酸，首先从含羞草（Pimica pudica）中分离出来的。它存在其他一些含羞草属植物中，以及物种密切相关的银合欢属所
A11A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A11（维生素）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
太岁神太岁神（日语：たいさいしん）为日本阴阳道的神祇，属于八将神之一，也有别名大岁神等。太岁神乃木星（又称岁星）之精，亦是太阴神之夫，佛教里的本地佛为药师如来。据说太岁神掌管一年四季万
旗山区旗山区（台湾话：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Kî-s
耳道耳道是外耳（英语：outer ear）到中耳的通道，人的耳道从耳廓（英语：pinna (anatomy)）延伸到鼓膜，长约2.5厘米（1英寸），直径约0.7厘米（0.3英寸）。人的耳道分为二部分。靠外侧的三分之一是由弹性