+(1,1)=2 같은게 참인지 거짓인지 알려면 현실세계에서 1을 사과같은 실제로 있는거에 예시로 들어서 참거짓 확인한다고 방금 배운거같은데 >(-1,0)=f 에서 -1같은건 현실에서 나타낼수 없을거같은데 어케 증명함?