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