constructive proofとは 意味・読み方・使い方

意味・対訳 構成的証明（こうせいてきしょうめい、英: constructive proof）とは、数学的命題の証明において、命題の真を示すだけでなく、その証明から対象の構成法、計算手続き、または証明対象を具体的に取り出しうる型の証明をいう。