Many formal systems (set theory, category theory) accommodate self-reference through stratification ...
This proposition has not been edited since the history system was added.