>>23
「証明論」って言葉が指すものは、そこに「たとえば」って例に挙げてる類の本に書いてるような「証明法の話」とは全くの別物だよ。
証明論は数理論理学の一分野として極めて技術的（つまり専門的）な問題を扱う学問分野だから、証明の読み方や書き方の話とは全く違う。
証明論という言葉の意味を知らない人々、例えば>>23のような質問をする人々にとっては一生縁が無いし知る必要も生じないと思って
無視しておいてまず間違いはない。

証明論とは何かを知りたいなら、著者名が竹内外史という本か、タイトルに「数学基礎論」か「証明論」（「証明」ではダメ）という言葉が入っている本を
１冊でも読んでみれば良い。上のパラグラフの最後の文は正しいということを理解できるだろう。