寻找第五公设的 “证 明” ■古希腊Proclas(412-485) “这一公理应该完全从全部的公理中 剔除出去.因为它是一个包含许多困难的 定理”.n 古希腊 Proclas(412-485) “这一公理应该完全从全部的公理中 剔除出去.因为它是一个包含许多困难的 定理