자연수: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
222.237.8.40(토론)의 25629562판 편집을 되돌림
33번째 줄:
:<math>0=\{\varnothing\}</math>
:<math>s(x)=\{y\cup\{z\}\colon y\in x,\;z\not\in y\}</math>
:<math>\mathbb pN=\bigcap_{I\colon 0\in I\supseteq s(I)}I</math>
그러나, 이러한 구성은 고유 모임을 사용하므로, [[분류 공리꼴]]을 만족시키는 집합론에서 사용할 수 없다.