PA1: 1은 자연수이다. PA2: 모든 자연수 n은 그 다음 수 n'을 갖는다. PA3: 1은 어떤 자연수의 그 다음 수도 아니다. 즉, 모든 자연수 n에 대해 1≠n'이다.
당신은 어느 그룹입니까?