공집합, 공집합이 있을 때 무한집합을 만들어주는 limit axiom 에서 보장해주는 무한 집합 이 두개 뿐 아님? 나머진 모두 어떤 집합이 주어진 상태에서 논의하는거고 집합ㄹㅗㄴ 가물가물하넹