直観主義論理では排中律（P v not-P）が成り立たないと言われる。しかし、これは排中律の否定が成り立つということではない。排中律の否定を仮定すると直観主義論理の範囲でも矛盾が導かれるので、排中律の二重否定が成立する*1。 そういうわけで、排中律が…