公理化系统

《每天读点世界历史》之公理化系统：欧几里得汇总了希腊古典时期的定理