現代の数学者は、非構成的な証明を行う
ことがその仕事のようである。理論や
定理や定義や論理もそれに沿って作られ
ている。すると具体的な構成法を伴わない
ので、それを異分野でそっくり応用する
ことができる見込みは相当に薄くなる。