無限に付いて語る。実無限VS可能無限

カントールの対角線論法とは独立であるような、
実数の全体が非加算無限集合であることの証明はあるのか？