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

@QuasarBooster

Exactly. We usually do not have many courses forcussing on proofs. We need to learn how to write proofs through the study of other branches of mathematics. If we do not have ability to create arguments and proofs for stuffs and statements in standard textbooks, it is very difficult to learn higher-leveled mathematics. Therefore it is automatically requeired in the study.