A rigorous undergraduate sequence exploring the axiomatic foundations of geometry, critiquing Euclid's 'hidden' assumptions, and constructing formal proofs for triangle congruence within various axiomatic systems including Hilbert's and non-Euclidean models.

Similar Sequences