严谨

✍ dations ◷ 2025-08-08 07:34:46 #严谨

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

相关

酰胺醇类抗生素酰胺醇类抗生素是一种抗生素。常见的有得氯霉素，甲砜霉素、氟苯尼考等。临床常用的品种为甲砜霉素和氟苯尼考。制剂有甲砜霉素片、氟苯尼考注射液、氟苯尼考可溶性粉等。抗菌
克罗托那的米罗克罗托那的米罗(希腊语: Μίλων; gen.: Μίλωνος)是一位公元前6世纪古希腊来自克罗托那的摔跤能手，曾在奥林匹克运动会和皮锡奥斯比赛，会上获6次摔跤冠军，其名字至今
动物交流动物交流是指一个或一群动物（发送者）与一个或更多动物（接收者）之间的信息传递，可改变接收者当下或未来的行为。信息传递可以是有意的，如求偶表演，也可以是无意的，如捕猎者闻嗅猎物气
解码编码是信息从一种形式或格式转换为另一种形式的过程；解码则是编码的逆过程。对于特定的上下文，编码有一些更具体的意义。
行为心理学行为主义（英语：Behaviorism）又称作行为论，是20世纪初起源于美国的心理学流派，主张心理学应该研究可以被观察和直接测量的行为，反对研究没有科学根据的意识。其主要特色为以系统方
皮肤呼吸皮肤呼吸，或皮肤气体交换，是一种呼吸的形式，其气体交换并不在鳃或肺进行，而是发生在生物的皮肤或外珠被。皮肤呼吸可以是唯一的气体交换方式，也可以伴随其他形式，如换气。皮肤
伽莫夫1904年3月4日（儒略历2月20日）俄罗斯帝国敖德萨（现属于宇宙微波背景辐射量子穿隧效应乔治·伽莫夫（英语：George Gamow，1904年3月4日－1968年8月20日），出生名乔治·安东诺维奇·伽
插入插入（英语：Insertion）是指一个或多个核苷酸碱基对插入DNA序列中，经常发生于微卫星区域。若以染色体层次来说，则是指一段染色体片段插入另一条染色体，常发生在减数分裂时，染色体发生
鱼粉鱼粉是把鱼可供人食用的部分除去后、或者缺乏市场价值的全鱼，经加工而成的商业产品。鱼粉呈棕色粉末状或饼状，具体而言是把上述的原料挤压去除油分而成。鱼粉的用途在于其含丰
温度-性别决定系统温度-性别决定系统是一种环境性别决定系统（英语：environmental sex-determination）。性别于胚胎时期或幼体时期时，温度为决定其性别的因素。这种状况只见于爬行动物和真骨类的鱼