Type theory's restrictions are ad hoc solutions that exclude meaningful self-reference needed for na...
This proposition has not been edited since the history system was added.