391で良く知りもせずに
>排中律はともかくとして、直観主義の主要な考え方に同意する数学者は多いとおもいます。
とか適当な事を言っちゃうのが間違い。