Many mathematical systems (ZFC, Peano arithmetic) have separately justified axioms that remain joint...
This proposition has not been edited since the history system was added.