그냥 임의의 집합 A에 대해 0으로 보내고 A+에 대해 1로 보내고 A++을 2로 보내고 이렇게 해서도 페아노 공리계를 만족시키지 않나요?

직접 다 증명해봤는데


되는 것 같아서요