This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.
No takes yet. Share an insight, caveat, or question.
Kentaro Fujimoto (2011) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: