Formal axiom systems successfully predict and verify geometric truths, suggesting discursive operati...
This proposition has not been edited since the history system was added.