A=B 의 정의는 "모든 class X에 대해 A가 X의 원소 iff B가 X의 원소"인 거고


"A=B일 필요충분조건은 (x는 A의 원소 iff x는 B의 원소)이다"라는 게 외연 공리 아님?