>>566「区別できないから集合で表せない」っていう理屈がよく分からんけど

集合の元の条件は区別ができるもの
ということになっている

ライプニッツの原理で区別できければ１個で
これは外延性の公理で｛ｘ、ｘ｝＝｛ｘ｝という形で表現されてる