a'+1 = (a+1)+1 = (1+a)+1 = (1+a)' = 1+a'집합 S는 자연수 전체의 집합과 같아지므로, 결국 모든 자연수 a에 대하여 a+1 = 1+a가 성립함이 증명되었다.
당신은 어느 그룹입니까?