自然数論における整数のモデルの定義がwell-definedであることを示す