23/12/15 15:36:21.40 K6f8A2/D.net
P.S.
ZF(C)は古典論理上の公理的集合論だが、もちろんラッセルパラドックスは発生しない（内包公理を使用していないから）
そして、直観主義論理上の公理的集合論であるIZFも、同様にラッセルパラドックスは発生しない
（ついでにいうと、IZFC＝ZFCになってしまうので意味がない）
ZFで発生しないのだからIZFでも発生しない、というだけであって
「直観主義論理を採用したから」発生しないわけではない
内包公理を採用した素朴集合論で、
古典論理を直観主義論理に制限しても、
ラッセルパラドックスは発生する(>>478)
縮約規則を捨てた線形論理とかまで制限すればさすがに発生しなくなる
ちなみに縮約規則は排中律とは関係ないので、排中律を採用したまま縮約規則を捨てることは可能
（その意味でも、排中律はラッセルパラドックスの発生には全く関係ない）