(both inclusive) is
depends upon the assumption that up to and including
no number is equal to its successor, which, as we have seen, will not be always true if the axiom of infinity is false. It must be understood that the equation
, which might be true for a finite
if