A proof's reliability for necessity depends on its axioms being non-contingent; contested assumption...
This proposition has not been edited since the history system was added.