집합_(비교)

ZFC를 어떠한 선제공리 없이 membership predicate 하나만으로 구축하기 위해 졸라 장황하게 쓰긴 했지만 결국 이 위의 번거로운 과정들을 수식 한줄 [[딸깍]]으로 축약한 것이 바로 우리가 고등학교때 배우는 '조건제시법'이다.

||<tablealign=center><tablebordercolor=transparent><tablebgcolor=transparent>[math(A = \{x \mid \text{$x$가 홀수}\})]||