Non-well-founded set theories (Aczel's AFA) consistently model circular membership without paradox, ...
This proposition has not been edited since the history system was added.