Modern logic shows multiple consistent axiom systems; if intuition justified axioms, we couldn't rat...
This proposition has not been edited since the history system was added.