Using proof-theoretic methods to establish consistency while relying on ordinal recursion risks peti...
This proposition has not been edited since the history system was added.