등식이론의 최상위 기초: a=a의 증명

[신촌우왕박찬우(wooking87)]

등식이론 최상위 기초

a = a의 증명

(증명)

a ≠ a라고 가정하자.

그러면

a는

공집합 = {g | g ≠ g}의 원소가 되어

공집합 = {a}가 된다.

이것은

공집합 = {}에 모순.

따라서

a = a

◈◈◈◈◈◈

마찬가지 방법으로

다음이 성립함을 알 수 있다.

0/0 = 0/0

1/0 = 1/0