Formal systems have axioms and inference rules; definitions within them are constrained by these rul...
This proposition has not been edited since the history system was added.