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