選択公理から排中律は出るわけで、
排中律あってはいかん分野が数学ではある。
お前が知らんだけで。