Неканторово доказательство несчетности континуума

В отличие от известного диагонального метода, использованного Г. Кантором, для доказательства несчетности континуума осуществлена оценка мощности множества всех множеств точек, содержащихся во внутреннем интервале единичного отрезка прямой и всех его подынтервалах, и равномощных некоторому исходному произвольному множеству точек.
Показано, что величина искомой мощности определяется суммой членов стандартной геометрической прогрессии и, в пределе, строго больше мощности бесконечно-счетного множества натуральных чисел. Это и доказывает несчетность самого континуума.