Formal proofs in geometry succeed precisely because they suspend sensory dependence through explicit...
This proposition has not been edited since the history system was added.