Geometric axioms (like 'between' or 'congruence') contain implicit spatial meaning that cannot be el...
This proposition has not been edited since the history system was added.