짝의 공리 (원본) (1)

[[분류:가져온 문서/오메가]]
Axiom of Pair

집합론의 공리이다.

== 형식적 진술 ==
짝의 공리는 다음과 같이 진술된다.

><math>\forall A \forall B \exists C\forall x[x\in C \Longleftrightarrow (x=A \vee x=B)]</math>

== 참고 문헌 ==
* Hrbacek and Jech, 1999. ''Introduction to Set Theory, Third Edition, Revised and Expanded''.  CRC Press.  ISBN 0824779150.

[Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]