> It doesn't make sense because there's no such number as 2^31 in 32-bit two's complement arithmetic

I started out with the definition:

    0x7FFFFFFF = 2^31 - 1

Adding one to that

    0x7FFFFFFF + 1 = 2^31 - 1 + 1

should be 2^31, but it isn't.