Поскольку для внутреннего представления типов данных используется двоичная система счисления, мощность множества чисел, которые можно представить целочисленными типами, всегда будет чётной. Договариваемся, что множеством целых чисел мощностью N представляем N/2 положительных и N/2 отрицательных чисел, например. Куда девать ноль? "Забираем" его у отрицательных чисел...
Это если вкратце.