Naïve한 집합론의 공리만으로도 주어진 쌍조건문을 증명할 수 있다.