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

"What's ACA0"

Something for you to aspire to learn :-)

Put more efforts in mathematics and less effort into trying to annoy people, and one day you'll become a fine googologist.