Many successful theories (arithmetic, set theory) treat formal and modal properties as integrated, n...
This proposition has not been edited since the history system was added.