Any coherent notion of 'proof-theoretic validity' must ultimately be definable within or relative to...
This proposition has not been edited since the history system was added.