まあブラウアーに言わせれば
彼は単純に論理的に弱い理論を目指したという訳でもないから
無矛盾等価だと言われても、だからどうしたという感じかもしれない

直観主義数学は人によって公理の取り方が違うから困る