証明論
証明論（しょうめいろん、）は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。