User blog comment:P進大好きbot/Elementary Large Number beyond PTO(Π11-CA0)/@comment-34422464-20190603175104/@comment-35470197-20190603222708

Why do you think so...? Actually ordinals like \(\textrm{PTO}(\Pi_1^1{-}\textrm{CA}_0)\) are very difficult for amateur mathematicians, but many googologists, who are not mathematicians, reach that level.