페아노 공리계

넘겨줄 대상:

• 자연수#s-2.1