校对欧几里得 电子书下载

原名:Proof-checking Euclid
作品简介:甚至亚伯拉罕·林肯也声称读过欧几里得的全部十本书，并从中学会了如何在法庭上证明某事。 《元素》也提供了一种；他并不是第一个，因为他也批评了托勒密之前的尝试。反射是等距）包含在[35]的Satz 10.15中……