Исправление beastie, 01.10.20 23:20 (текущая версия) :
∀ x ∈ ℤ: x - ∞ = ±∞
Как-то так.
Исходная версия beastie, 01.10.20 23:17:
∀ x ∈ ℤ: x - ∞ = ∞