집합(비교)
| r13 vs r14 | ||
|---|---|---|
| ... | ... | |
| 20 | 20 | |
| 21 | 21 | 이 조건을 참이 되도록 만드는 [math(x)]는 모두 [math(A)]의 원소일 것이고, 반대로 이 조건을 거짓이 되도록 만드는 [math(x)]는 [math(A)]의 원소가 아닐 것이다. 따라서 이 조건을 유일하게[* ZFC의 extensionality axiom으로 유일함이 결정된다. 증명은 ZFC 문서에서.] 만족시키는 [math(A)]가 바로 집합 [math(A)]가 된다. |
| 22 | 22 | |
| 23 | 졸라 장황하게 쓰긴 했지만 결국 이 위의 번거로운 과정들을 수식 한줄 [[딸깍]]으로 축약한 것이 바로 우리가 고등학교때 배우는 '조건제시법'이다. |
|
| 23 | ZFC를 어떠한 선제공리 없이 membership predicate 하나만으로 구축하기 위해 졸라 장황하게 쓰긴 했지만 결국 이 위의 번거로운 과정들을 수식 한줄 [[딸깍]]으로 축약한 것이 바로 우리가 고등학교때 배우는 '조건제시법'이다. |
|
| 24 | 24 | |
| 25 | 25 | ||<tablealign=center><tablebordercolor=transparent><tablebgcolor=transparent>[math(A = \{x \mid \text{$x$가 홀수}\})]|| |