>>651
xが集合のときx∪{x}も集合って、集合の直観に合ってる?
「要素も集合」より要素と集合がはっきり分かれている方が「集合論」として自然でない?