主题：【原创】上帝之书 -- 我爱莫扎特
共:💬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
