•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

짝의 공리

최근 수정 시각 : 2023-05-28 17:27:18 | 조회수 : 22

Axiom of Pair

집합론의 공리이다.

목차

1. 형식적 진술
2. 참고 문헌

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에 따라 이용할 수 있습니다.