>>952
>選択公理から排中律は出るわけで、
正しくは　IZF（直観主義論理上でのZF）+AC→排中律　ですね

>排中律あってはいかん分野が数学ではある
具体的には何ですか？
「排中律を前提しない理論」ならあってもいいと思いますよ
「あってはいかん」というのはないでしょう　大丈夫ですか？