ZF avoids explicit self-reference but may merely displace rather than eliminate the conceptual probl...
This proposition has not been edited since the history system was added.