우선 이것을 증명하기 위해서는 그 출발점이 되는 공리 체계가 필요하다. 자연수에 대한 공리 체계인 "페아노 공리계"를 이용하여 PA1:1은 자연수이다라고 놓고
당신은 어느 그룹입니까?