Title: Foundations of Euclidean and non-Euclidean geometry