The Formation of Modern Conceptions of Formal Logic in the Development of Geometry