五千年(敝帚自珍)

主题:【原创】上帝之书 -- 我爱莫扎特

共:💬277 🌺1121
全看分页树展 · 主题 跟帖
家园 这么明显的例子都忘了?第五公设不可证明

准确地说,在去掉第五公设的欧氏几何公理体系中第五公设这个命题有意义(所有涉及到的概念——直线、外、点、过点的直线、相交——都在理论范围内),但是不可证明,认为它成立,就是欧氏几何,不成立,就是罗氏几何,两个体系都自洽,证明这点用了两千多年。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河