Axiom systems that claim formality always embed implicit assumptions about legitimate vs. illegitima...
This proposition has not been edited since the history system was added.