Всіляка непорожня скінченна множина рівнопотужна одному і тільки одному відрізку натурального ряду Доведення: За визначенням скінченної множини непорожня скінченна множина A рівнопотужна принаймні одному відрізку натурального ряду. Якби вона була рівнопотужна двом різним відрізкам, , тоді за властивостями рівнопотужності буде: , що суперечить теоремі 1, оскільки один з двох різних відрізків натурального ряду є власною підмножиною іншого. Однозначно визначене для даної непорожньої скінченної множини A натуральне число n таке, що , називається числом елементів множини A. Числом елементів порожньої множини називається число 0.