У Вас путаница с конечным и бесконечным множеством. Количество яблок в корзине это конечное счетное множество. Счетное потому, что каждому яблоку можно поставить в соответствие номер (их можно пересчитать). Если к существующему множеству яблок в корзине добавить еще одно яблоко, это будет уже другое конечное счетное множество, с большим количеством членов, чем исходное. У конечного счетного множества действительно имеется минимум. Количество предметов, которое можно пересчитать, не может быть меньше 0
Числовой ряд это тоже счетное множество, членами которого являются числа. Ояевидно, что это не пустое множество. То что членами данного множества являются не только положительнве, но и отрицательные числа, значения не имеет. Важно, что их можно сосчитать.
И, кстати, отрицательные числа отнюдь не маленькие. "Величина" чила определяется тем, насколько оно дальше отстоит от 0. Минус миллион отстоит от 0 так же далеко, как и плюс миллион.