素朴な疑問なんですけど、今時命題を証明するとき、
間接的な証明ではなく直接的に証拠を構成することで証明された
と見なす立場を取る論理で考える
ブラウアーのような直観主義論理の論法
で証明する人っているんですか？