Продолжим.
В чем разница, между записью числа и самим числом ?
Запись

числа

сама по себе может являться числом, однако, утверждения о том, что число

является элементом множества, в которое входит число

является независимым утверждением. Я бы назвал его редукционным. Кроме того оно ведет к бесконечности множества

.
Проявляется ли эта разница при нумерации ?
Несомненно. В случае применения вышеприведенного редукционного приема нумерация представляет собой биективное отображение в себя бесконечного множества. Однако, существуют причины, которые могут этому помешать. Они, правда, не отменяют возможность нумерации в общем случае, она просто перстает быть биективным отображением в себя и становиться биективным отображением между двумя множествами, совокупность которых множеством не является (это независимое утверждение).
Вот например,

- две записи одного числа ?
Да. Это, кстати, может помешать нумерации. Если любым(некоторым) числам

соответствуют хотя бы две записи

, то утверждение о том, что эти записи являются числами из

может вести либо к невозможности нумерации, либо к тому, что

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


Если последовательности различаются, следует ли из этого в общем случае неравенство

?
Ответ отрицательный. В общем случае нет.
У этого есть последствия, в частности для теоремы о несчетности действительных чисел на отрезке [0,1].
Диагональное Канторовское число является записью действительного числа, а не самим этим числом. Однако, т.к. в общем случае неравенство записей не означают неравенства чисел (контрпример:

), необходимо доказать, что ни одна из других (занумерованных) записей не определяет это же действительное число.
Вопрос преждевременный, но все же, причины неравенства

в общем случае делятся на два класса:
1) последовательности различаются по порядку следования элементов в них;
2) последовательности различаются по порядку в котором они сами следуют;
Следует ли из 1, 2 и из 2, 1 ?

- ложь,

- истина.
Есть еще одна интерпретация. Не категоричность несчетности ведет к тому, что Теорему о несчетности множества подмножеств можно считать доказательством невозможности отождествления числа и его записи в общем случае. Это же можно интерпретировать, как то, что совокупность множества и множества подмножеств, в общем случае, не образует множество.