[질문] 1더하기1이2라는것을증명해주세요

<공리1>. 0은 자연수다. <공리2>. 모든 자연수 n에 대해서 n'은 바로 다음 자연수이다(0' = 1, 1' = 2, 2' = 3, ...). 증명방법은 페아노 공리계를 이용해염^^