Есть модель действительных чисел, в которой каждое действительное число записывается символами: "бесконечные десятичные дроби".
Поэтому утверждение granit201z в сообщении #1249952
"Следовательно некоторое подмножество множества действительных чисел не может быть представлена никакими символами"
является ложным.
Нет. Т.к. бесконечная запись никогда не закончится, то соответственно конкретное число ей никогда представлено не будет. Чтобы точно представить число к операциям над ним - нужна его конечная запись, такая как
, например. Поэтому модель "бесконечные десятичные дроби" и любая другая модель "бесконечной записи" не дает никакой возможности на практике "представить к операциям" произвольное число из множества действительных, а конечные записи в свою очередь все счетные.
Ну и в силу вышесказанного опять же повторюсь:
некоторое множество действительных чисел, невзирая на Вашу модель десятичной дроби, останется непредставимым к операциям над ними.
-- 24.09.2017, 08:49 --"непредставимость числа" - невозможность записи числа ни конечной, ни бесконечной комбинацией символов для "предоставления (представления)" его к операциям с другими числами.
Определение выше, конечно, кривое и его следует поправить:
"непредставимость числа" - невозможность записи числа конечной, комбинацией символов, необходимой для "предоставления (представления)" его к операциям с другими числами