Closure operations (like least fixed points) have been foundational to logic since Kleene's recursio...
This proposition has not been edited since the history system was added.