Euclidean geometry is the branch of mathematics describing shapes and the spatial relationships between objects in ...

In this paper, I critically discuss Frege's philosophy of geometry with special emphasis on his position in The Foundations of Arithmetic of 1884. In Sect. 2,1 argue that that what Frege calls faculty ...

Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be ...