1은자연수이다/n이자연수이면,‘n다음수’는자연수이다/n다음수를n’이라고쓰면n’=1인자연수n은없다/m과n이다르면,m’과n’도다르다/1∈P이고,모든n∈P에대해n
당신은 어느 그룹입니까?