bregalad
Ну можно таким способом доказать, что просто натуральные числа несчётны. Допустим они счётны, тогда выпишем их и покажем, что число, являющееся их суммой, в этом списке не содержится. Собственно это полная аналогия доказательства того, что иррациональные числа несчётны. Проблема на самом деле в абсолютной некорректности доказательства Канта, что при этом по-прежнему рассматривается и которое почему-то математиков устраивает. А доказать несчётность конструктивным образом скорее всего просто невозможно, потому что сконструировать можно только счётное множество.