Множество рациональных чисел имеет счётную мощность, потому что все его элементы можно перенумеровать. 23

Для доказательства этого факта достаточно привести алгоритм, который нумерует рациональные числа, то есть устанавливает биекцию между множествами рациональных и натуральных чисел. 23

Например, можно составить бесконечную таблицу обыкновенных дробей, где на каждой строке и столбце будет располагаться определённая дробь. 23 Для определённости считается, что строки и столбцы этой таблицы нумеруются с единицы. 23

Таким образом, несмотря на то, что множество рациональных чисел бесконечно, натуральных чисел хватает, чтобы занумеровать все рациональные. 23