構成的証明

構成的証明（こうせいてきしょうめい、英: constructive proof）とは、数学的命題の証明において、命題の真を示すだけでなく、その証明から対象の構成法、計算手続き、または証明対象を具体的に取り出しうる型の証明をいう。とくに構成的数学および直観主義論理の文脈では、存在命題の証明は単なる矛盾導出ではなく、該当する対象を与える構成を含むものと解される。