Goals: To introduce to the concept of model building in mathematics from both a synthetic and an axiomatic point of view. Content: Various geometries are studied with attention paid to what geometry is. Hilbert's axiom system for Euclidean geometry, hyperbolic geometry, and transformations. Taught: Alternate years, spring. Prerequisite: MATH 1170.