Absence of current non-relativizing proofs doesn't entail absence of proof-theoretic foundations; ne...
This proposition has not been edited since the history system was added.