우리가 1과 2를 정의 할 때를 잘 생각해보시면 1과 2의 정의에서 + 연산이 작용하지를 않습니다. 따라서 1+1=2라고 한다면 이것은 증명이 필요한 명제이지요.
당신은 어느 그룹입니까?