[질문] 1더하기1이 2라는것을증명 하는방법이뭔가요

1+1 = 2가 되도록 직관에 어긋나지 않도록 철저히 설계된 시스템을 만들 수 있다는 것에 촛점을 둬야할 것 같습니다.페아노의 공리계를 통해 알 수있습니다.