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