From Affine to Euclidean Geometry: An Axiomatic Approach

This monograph, originally published in Polish, provides a rigorous and fully formalized treatment of the foundations of geometry using first-order logic. The book traces a mathematical "odyssey," developing Euclidean geometry through the lens of affine geometry. It focuses on the deep connections between synthetic and analytic plane geometry, illustrating how algebraic laws like Pappus' law co…