(+)분류 : 가져온 문서/오메가
Axiom of Pair
집합론의 공리이다.
1. 형식적 진술 ✎ ⊖
짝의 공리는 다음과 같이 진술된다.
\\forall A \\forall B \\exists C\\forall x[x\\in C \\Longleftrightarrow (x=A \\vee x=B)]
2. 참고 문헌 ✎ ⊖
- Hrbacek and Jech, 1999. Introduction to Set Theory, Third Edition, Revised and Expanded. CRC Press. ISBN 0824779150.
이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.