[[분류:가져온 문서/오메가]] Axiom of Extensionality 집합론의 공리 중 하나이다. == 형식적 진술 == 외연공리는 다음과 같이 쓰일 수 있다. ><math>\forall A\forall B \forall x (x\in A \leftrightarrow x\in B ) \to (A=B)</math> 위의 논리식은 '집합의 상등은 집합이 포함하는 원소로만 결정된다'와 같이 해석된다. == 독립성 == 외연공리는 대치공리꼴, 합집합 공리, 멱집합 공리, 선택공리로는 증명될 수 없음이 알려져 있다.[* A. Abian and S. LaMacchia, "On the consistency and independence of some set-theoretical axioms", Notre Dame J. Formal Logic Volume 19, Number 1 (1978), 155-158.] == 영상 == [youtube(XZFXI1_cpwk)] [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
