Type theory solves set-theoretic paradoxes but leaves self-reference paradoxes (liar, heterological)...
This proposition has not been edited since the history system was added.