Unrestricted quantification over all propositions generates self-referential contradictions (like th...
This proposition has not been edited since the history system was added.