Type theory's hierarchical syntax prevents self-reference by structural rules alone, avoiding metaph...
This proposition has not been edited since the history system was added.