証明論

証明論（しょうめいろん、英語: proof theory）は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。 == 概要 == 証明は帰納的に定義されたデータ構造で表されることが多く、単純なリスト、入れ子リスト、木構造などがある。