严谨

✍ dations ◷ 2024-07-05 09:31:45 #严谨

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

相关

营养器官营养器官通常指植物的根、茎、叶等器官。营养器官的基本功能是维持植物生命，这些功用抱括了如：光合作用等。但在某些状况之下，可能有无性生殖/营养生殖，意指，这些营养器官可能
疝疝（Hernia），俗称疝气，其最初的意义是“腹痛”，但后世多特指“少腹坠痛”的狐疝，相当于现代医学的“腹股沟疝”。医学上的疝气指的是器官，例如肠子，经由腔室的孔道离开原先的位置。有
高离氨酸血症高离氨酸血症是一种遗传病，其会导致发展迟缓、癫痫、脑麻痹、身材短小等。亦有可能有关节松弛、智能迟缓、周期性呕吐、肌肉张力低下、昏睡、腹泻以及发展迟缓等。此遗传病的
C波段1 2 3 4 5 6 7 8 9 10 11ELF SLF ULF VLF LF MF HF VHF UHF SHF EHFA B C D E F G H I J K L MHF VHF UHF L S C X Ku K Ka Q V W根据IEEE 521-2002标准，C波段是指频率在4-8
正电子6969910938291000000♠9.10938291(40)×10−31 kg 6996548579909460000♠5.4857990946(22)×10−4 u −1 u正电子（又称阳电子、反电子、正子）是电子的反粒子，即电子的对应反
亚科科（英文: family, 拉丁语：familia）是生物分类法中的一级，位于目和属之间，现时生物界约有800个科，科下也分亚科，而在其上亦有总科。亚科是生物分类法的一级，在科和属之间，有时亚科和属
多尔蒂县休多尔蒂县（Dougherty County）是位于美国佐治亚州西南部的一个县，面积867平方公里，县治奥尔巴尼。根据2000年美国人口普查，共有人口94,882。多尔蒂县成立于1853年12月15日，县名源自
库安沙河广萨河（Cuanza River），又名宽扎河，是安哥拉的河流，在首都罗安达以南流入大西洋。广萨河下游可航行的河道长150英哩，是北广萨省和南广萨省的分界线。在首项生物多样性计划中，显示广
子囊菌纲子囊菌门（学名：Ascomycota）是真菌界中种类最多的一个门，其中除酵母亚门为单细胞外，其余种类都是多细胞的，有分枝、有隔的菌丝组成的。它与担子菌门（Basidiomycota）一起构成了双核亚
平镇区平镇区（台湾客家语四县腔：pinˇ ziinˋ kiˊ；饶平腔：pin zhinˋ kiˇ）为桃园市的市辖区，人口约22.8万人，人口密度约4,772人/平方公里，北临中坜区，西邻杨梅区，东邻大溪区，东北连八德区，南