>>242 分かってないのは君さ、
集合として
「「Aに属す」が確定しているか、
「Aに属さない」が確定 してるもの」
を考えることが、無意識的な排中律の密輸入だと
いっているのさ。
239は
「どの対象も「Aに入るか、入らないか」が
確定していなければ、 そんなAは
（存在するとしたら）集合と呼べる代物ではない」
なんていってるけど、ウソだな。
直観主義集合論IZFは、こういうものを集合と
呼んでるんだよ（笑）
＞排中律なしのとき、集合をどう定義するんだい？
公理的集合論ZFの公理に排中律は入ってるかね？（笑）
