7ceb867eb48668f037ea84e6479f2e2d95e70ec6c0315bcde23dd2fd

모든 x에 대해 x = x임을 보이자.


이는 외연 공리에 따라 임의의 p에 대해 p ㅌ x iff p ㅌ x라는 것을 보이면 된다.


iff의 정의에 따라 이는 참이다


Q.E.D □





모든 x에 대해 x = x임을 보이자.


즉, 임의의 술어 P에 대해 Px iff Px라는 것을 보이면 된다.


iff의 정의에 따라 이는 참이다


Q.E.D □