밑에 나는 나임을 증명하라는 문제가 있길래 잠깐 생각해보았습니다.

 

처음에는 귀류법으로 증명할까 생각했습니다.

 

1. 나는 내가 아니다. (귀류법 사용을 위한 가정)

2. 나는 나이다. (동일률)

3. 나는 나이고 나는 내가 아니다. (1, 2와 &도입)

4. 따라서 나는 나이다. (3은 모순. 1~3까지 귀류법)

 

생각해보니까 "나는 나이다." 동일률에 해당하는 명제네요. 동일률을 받아들인다면 귀류법을 사용할 필요가 없습니다.

 

모든 A에 대해서, A=A.

 

모든 것은 자기 자신과 동일합니다. 나 역시 나와 동일합니다. 내가 나비여도 나는 나이고 내가 장자여도 나는 나입니다.

 

왜냐하면, 나비는 자기 자신과 동일하고 장자도 자기과 동일하니까요.