Axiomatic systems. Foundations of Euclidean and Lobachevskian geometries. Prereq., MATH 2001 and 3130.