Axiom of Pair
집합론의 공리이다. 비정렬쌍 공리(Axiom of Unordered Pair)라고도 한다.
1. 형식적 진술
짝의 공리는 다음과 같이 진술된다.
forall A forall B exists Cforall x[xin 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.
