严谨

✍ dations ◷ 2025-11-10 15:04:11 #严谨

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

相关

QJ01XQA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01（抗菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
穿透式电子显微镜透射电子显微镜（英语：Transmission electron microscope，缩写：TEM、CTEM），简称透射电镜，是把经加速和聚集的电子束投射到非常薄的样品上，电子与样品中的原子碰撞而改变方向，从而产生
长QT症长QT症又名长QT综合症（Long QT syndrome），全称是QT间期延长综合症，简称LQTS，是一种跟心律或心血管有关的心脏病。这一种病可能是先天的，也有可能是因为治疗其他心脏病的药物而引起
菲洛皮门菲洛皮门（英语：Philopoemen，前253年－前183年）。古希腊政治家与军事将领。曾担任总司令之职。早年生活简朴并接受过哲学教育，后参加战争，他在战争中表现突出，作战英勇，并多次负伤。晚
Micrograph显微照相是以显微镜或类似的器材所摄取的相片或影像，以显示放大了的物件影像。显微照相是由加拿大发明家范信达所发明。有制造显微照相，可以在显微镜上安装照相机，取代目镜；或是
非诺特罗非诺特罗（Fenoterol）是一种用来扩张呼吸道的β2肾上腺素受体激动药。非诺特罗属于拟交感神经药 β2 刺激剂和气喘药。非诺特罗由勃林格殷格翰制造和销售，商品名称为：Berotec
胞吐胞吐作用（Exocytosis）是指细胞内的大分子物质通过小泡与细胞质膜融合的过程，在融合蛋白的帮助下被释放到细胞外基质。它可以看作是细胞内吞作用的反向作用。胞吐作用可以自发
阿敏·马卢夫阿敏·马卢夫（法语：Amin Maalouf，阿拉伯语：أمين معلوف‎，1949年2月25日－），黎巴嫩裔法国人，当代著名法语文学作家。原在黎巴嫩当记者，1975年黎巴嫩内战爆发后迁居巴黎，以法语写
十二第八第十埃及第十二王朝是古埃及历史上的一个王朝，其与第十一王朝、第十三王朝和第十四王朝统称中王国时期。
正面月球正面是月球永远朝向地球的半球，而相对的另外半球被称为月球背面。因为月球绕地球公转的周期和它绕着自己的轴心自转的周期相同，因此在地球上只能看见月球的一面，这种情形称