“任意两个整数的差是整数.”

“对于任意两个整数, 都存在第三个整数, 它等于这两个整数相减.”

“对于任意整数 x 和 y, 都存在整数 z, 使得 x - y = z.”  

“存在一个整数, 对于任意两个整数, 第一个整数都等于这两个整数相减.”