[일반] 공집합은 성질인가 존재인가

[산가츠노환타지..(domestic0)]

서로 다른 공집합 이라는 말은 말이 되는가

[언으우주(moolihak2)]

성질아님? { {}, {}, {} } 이러잖아

[가속하는전자(bake3821)]

공집합을 원소로 갖는->공집합을 성질로 갖는 집합을 원소로 갖는 이거아닌가

[갱생리카(lillollool)]

ZFC에선 외연공리에의해 유일하게 존재함.

[갱생리카(lillollool)]

조건제시법 형태로 집합을 나타내는것을 분류공리로 보장하는데, 조건제시법의 조건이될 P(a)에 ~(aㅌ모집합)을 넣어서 존재성을 보일수있음. 곧 모순을 조건제시법의 조건으로 가지는 집합 정도로 생각할수있음.