User blog comment:Ubersketch/Submit a paper/@comment-35470197-20190515010608/@comment-34422464-20190517001715

I'm pretty sure Laver tables were made for set theoretic purposes, not large numbers (though usually large numbers and set theory go together.) Also, I've already seen proofs about googology written by googologists, so formal training could or could not be a problem depending on who is writing the proof.