無限に付いて語る。実無限VS可能無限

最近の議論はヴィト氏が全面的に勝っているな。
排中律を仮定しなくたって集合は定義できるよ。
P(x) を(排中律が成り立つとは限らない)任意の命題とするとき
A={x|P(x)} はいつでも集合(厳密にはクラス)である。
常に x∈A か not x∈A が成り立っている必要は、一切無い。