등식이론의 차상위 기초
a=b이면 b=a의 증명
(증명)
a=b가 성립한다고 하자.
그런데
등식이론의 최상위 기초에 의해
a=a …①가 성립한다.
a=b라면
a 대신 b로 치환대입해도 됨을 의미한다.
①의 좌변에만 치환대입을 적용하면
b = a
①의 우변에만 치환대입을 적용하면
a = b
①의 양변 모두에 치환대입을 적용하면
b = b
즉
a = b라면
a = a에 치환대입을 적용하여
다음이 얻어진다.
b = a
a = b
b = b
따라서
a = b 이면 b = a
a = b 이면 a = b
a = b 이면 b = b
등식이론의 최상위 기초
a = a
(증명)
a ≠ a라고 가정하자.
그러면
a는
공집합 = {g | g ≠ g}의 원소가 되어
공집합 = {a}가 된다.
이것은
공집합 = {}에 모순.
따라서
a = a
댓글 0