일차논리의 atomic formula의 정의에서

[익명(222.104)]

=을 따로 취급하는 이유는 무엇인가요?

=가 relation symbol중 하나로 취급하면 안 되는가요??

아마도 애초에 =를 relation symbol중 하나로 취급하지 않고,

논리적 기호로 취급하기 때문 같은데,

그러면 그렇게 취급하는 이유가 있나요?

[lp(24.131)]

비논리적 기호로 간주해도 문제는 없습니다. 다만 특별취급을 하면 여러모로 편해지죠.

[익명(222.104)]

음..그렇군요. 어떤 면이 편리해지는지 대충이라도 알 수 있을까요??

[익명(1.227)]

직관적으로 봤을때 동일성이라는 게 그냥 근본적인거 같아서?