Classical logic's paradox-avoidance forces ad-hoc restrictions (like type hierarchies) that artifici...
This proposition has not been edited since the history system was added.