主题:【原创】上帝之书 -- 我爱莫扎特
共:💬277 🌺1121
准确地说,在去掉第五公设的欧氏几何公理体系中第五公设这个命题有意义(所有涉及到的概念——直线、外、点、过点的直线、相交——都在理论范围内),但是不可证明,认为它成立,就是欧氏几何,不成立,就是罗氏几何,两个体系都自洽,证明这点用了两千多年。
- 相关回复 上下关系8
压缩 6 层
🙂关于“完备” 1 预备役师的防化 字887 2010-05-19 06:47:07
🙂所谓命题属于公理体系 3 汽车零部件 字610 2010-05-19 18:11:19
🙂能给我一个特别简单的例子么 1 预备役师的防化 字288 2010-05-19 18:34:23