Да собственно неважно, что имелось в виду - важно как вводились действительные числа - сечения, фундаментальные последовательности, десятичные дроби ...
Ответ на вопрос будет при каждом из подходов свой.
К примеру, взять десятичные дроби, судя по вопросу так и "мыслятся" десятичные числа. Мыслятся взял в кавычки, поскольку скорее всего мысли там и не было - просто Марьванна сказала про бесконечные дроби и всё.
А ответ на вопрос кроется в определении отношения неравенства. А равенство - это когда нету меньше и нету больше. Мы ведь хотим от действительных чисел линейности порядка?
Ну так вот, почему
? А потому, что нету
и нету
А уж как строгое неравенство определить - оставим ТС, тут ведь всё естественно.
-- Сб ноя 19, 2016 10:14:03 --Нет, не ТС - его уж и след простыл, но животрепещущий вопрос вновь и вновь поднимается.