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

> How did you learn to do proofs though?

As I explained in the comment of your blog post, I learned how to prove by studying mathematics with standard textbooks, participating in seminars or conferences, and so on, as usual mathematicians do. When we read standard textbooks as an elementary training, we are required to understand "all" sentences including proofs.

> And how do you come up with these ideas?

I created this function using knowledge on pair functions in arithmetic, Goedel numberings in formal logic, Veblen hierarchy in set theory, Buchholz OCF in proof theory, and so on, after trying several approaches including those in my previous attempt. Just working in a step-by-step way.