덧셈은 peano arithmatic의 공리에 포함되있습니다.허나 덧셈의 특별한 경우인 1+1=2는 공리가 아닙니다. 1은무엇인지 +무엇인지 나타내어 증명은 할 수 있다.
당신은 어느 그룹입니까?