Розглянемо ще одну властивість множини Q+. Як відомо, множину М називають зчисленною, якщо між множиною М і множиною N можна встановити взаємно однозначну (бієктивну) відповідність.
Теорема 29. Множина Q+ зчисленна.
Доведення. Зобразимо кожне додатне раціональне число у вигляді нескоротного дробу. Таке зображення завжди існує і єдине. Тому для доведення теореми досить показати, що множина нескоротних дробів — зчисленна.
Назвемо висотою нескоротного дробу суму його чисельника і знаменника. Зрозуміло, що існує лише скінченне число нескоротних дробів, які мають задану висоту. Так, висоту 2 має лише дріб
= 1,
висоту 3 мають дроби
i
, висоту 4 —дроби
і
, висоту 5 — дроби
і т. д. Впорядкуємо нескоротні дроби в порядку зростання висоти, а при однаковій висоті — в порядку зростання чисельників. Тим самим буде встановлено взаємно однозначну (бієктивну) відповідність між множинами Q+ i N. Для зручності задамо цю відповідність таблицею:
Існування такої відповідності й доводить зчисленність множини Q+. Теорему доведено.