Alternative axiom systems (non-Euclidean geometries) are proven consistent despite contradicting sen...
This proposition has not been edited since the history system was added.