The projective plane's defining properties (incidence relations, duality) are independent of metric ...
This proposition has not been edited since the history system was added.