ペアノの公理から自然数が定義が理解できるのに
自然数から整数が定義できることが理解できないかが分からない。
理由を書け。