From what I understand, you do not work directly with infinite, but infinitude, basically a hyperinteger that is bigger than any integer. For which H + 1 = H does not hold.