일단페아노 공리계(Peano Axioms)란체계가 필요합니다. PA1:1은 자연수이다.PA2:모든자연수n은그다음수n'를갖는다 PA3:1은 어떤자연수의그다음수도아니다...
당신은 어느 그룹입니까?