>>964
そもそも排中律はIZFC上の定理として正当化されてるわけではないんですが…
>>965
選択公理の何が気に入らないのか知りませんが
選択公理を否定せよというあなたの主張には同意しません

他にも「無限公理を否定せよ」とか
「平行線公準を否定するな」とか
「時刻不変の法則を否定するな」とかいう
カルト宗教を宣教する人がいますが
一切同意いたしません
無限集合論も双曲幾何も相対性理論も
有限集合論やユークリッド幾何やニュートン力学が無矛盾なら
同様に無矛盾ですから