can describe axioms for planar geometry, and models realizing these in the hyperbolic, Euclidean and elliptic cases can work with Möbius-transforms, as well as distances, angles and areas in ...