严谨 (数学)

✍ dations ◷ 2025-11-15 05:07:48 #数学术语

数学上，严谨不同于生活中的严谨，它指数学系统尤指公理系统的完备性和相容性。

完备性指公理数量不多不少正好可以推理出这门学科的全部结论；自洽性指公理系统内不存在悖论（即既是真又是假的命题）。比如仿射几何加上平行公设就成为欧几里得几何，或者加上第五公设的反命题就成为非欧几何之一，但后两者并不满足完备性要求，只有仿射几何学才是欧几里得几何类中的完备系统。一致性与哥德尔不完备定理并不矛盾，前者断言不存在既真又假的命题，而后者断言存在既不可证明又不可证伪的命题，就好比第五公设之于欧几里得几何，连续统假设之于公理化集合论，选择公理之于策梅洛-弗兰克尔集合论。

相关

麻腮风三联疫苗麻腮风三联疫苗（英语：Measles mumps and rubella vaccine, MMR），港澳台译为麻疹腮腺炎德国麻疹混合疫苗，，大陆简称麻腮风疫苗，是预防麻疹、腮腺炎、风疹（德国麻疹）的疫苗，由三种疾病病
农业政策农业政策（英语：Agricultural policy）指与本地农业和进口外地农产品相关的一系列法律。政府实行农业政策通常是为了在本地农产市场达到特定的目标，例如保证供应水平、价格稳定、
转运体载体蛋白（英语：carrier protein）简称“载体”，是参与离子、小分子或高分子跨越生物膜进行运输的一类多回旋折叠蛋白质。载体蛋白都是跨膜蛋白，它们能在协助扩散或主动运输过程中
克洛德·莫奈奥斯卡-克洛德·莫奈（法语：Oscar-Claude Monet，发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Co
金融学金融学（英语：Finance)是从经济学分化出来的应用经济学科，是以“金融”，融通货币和货币资金的经济活动为研究对象。研究公司、个人、政府与其他机构如何募集和投资资金的学科。传
尸体保存遗体保存技术（英语：Embalming）指通过化学药物及其他科学技术的方法，将人的遗体作短期或长期保存，防止遗体腐烂。
李斯特·费伦茨李斯特·费伦茨（匈牙利语：Liszt Ferenc，1811年10月22日－1886年7月31日），更常见名称为弗兰茨·李斯特（德语：Franz Liszt），匈牙利作曲家、钢琴演奏家，浪漫主义音乐的主要代表人物之一。其
span class=nowrapCuS/span硫化铜是一种铜和硫的化合物，化学式CuS，在自然界中以深蓝色的靛铜矿形式存在。它是一种中等导电性的的导体。硫化氢气体通入铜盐溶液时可形成硫化铜的胶状沉淀。目前也有研
UUPONUUPON 红利点数是以悠游卡为会员载具的红利集点，独家提供悠游卡会员点数服务。只要加入会员并绑定悠游卡，就可以在合作特约商和搭乘大众交通工具用悠游卡消费进行累兑点。建立
VII级潜舰VII级潜艇（德语：Klasse VII或称Typ VII）是第二次世界大战中纳粹德国海军最广泛使用的潜艇（两次世界大战中，德国使用的潜艇通称U艇），贯穿整场第二次世界大战，第一艘击沉敌船的U-30与