User blog comment:P進大好きbot/New Googological Ruler/@comment-31580368-20190718022500/@comment-31580368-20190718030632

Of course, I intended to work only with finitely many theories. For example, we take theories from list bellow #2 - #59. And we take the main theory of #60.