Non Euclidean Geometry

A consistent system of definitions, assumptions, and proofs that describe such objects as points, lines and planes. It is also beautiful to look at.