Qraizer: Не всё так просто. Это построение отталкивается от того, что посредством троичной дроби 0,x₁x₂x₃... можно описать любую точку на отрезке. Я не спорю, что это возможно, но я обращаю внимание, что строгого определения этого обозначения тут не приведено, а значит нужен хотя бы ещё один пункт типа:

• Можно доказать, что посредством троичной дроби возможно задать любую точку на отрезке [0, 1].

И это не так просто, ибо требует континуум цифр. Впрочем, опираясь на возможность этого для десятичной дроби, это доказывается легко, только определение десятичной дроби... хм, должно быть несколько иным, нежели через отрицательные целочисленные степени десятки. И в этом контексте счётность шагов построения мне уже неочевидна.
Замечу однако, что краеугольным камнем в этом примере является 2-ой пункт. Собственно об него споткнулся Пеано в своём примере построения.

https://forum.sources.ru/index.php?showtopic=381032&view=findpost&p=3845854