User blog comment:Plain'N'Simple/A question for proof-theory experts/@comment-37224188-20191030010502

whats ACA0??

i mean if you already know howw strong this "ACA0" is then the answer is easy. X(n) feels more strong than E(n) but who know? 🤔🤔🤔🤔