Calling axioms 'conventions' conflates logical independence with epistemic arbitrariness—choice does...
This proposition has not been edited since the history system was added.