Vicious-circle prohibition avoids self-referential definitions that undermine mathematical rigor reg...
This proposition has not been edited since the history system was added.