Logic systems are human tools developed through practice; non-Euclidean geometries show axioms once ...
This proposition has not been edited since the history system was added.