Я согласен с этим, и все же, если мы просмотрим доказательства теорем арифметики действительных чисел в разделах 2.2.4 и 2.2.5, то мы увидим, что они зависят только от возможности неограниченного продолжения последовательностей; мы нигде не используем того факта, что их продолжение производилось по известному правилу; значит, можно рассматривать их продолжение, не требуя существования такого правила. Идея закона, управляющего образованием последовательности, здесь необязательна и может быть устранена процессом абстрагирования.