Аннотация:Изучается расширение классического анализа, язык которого получается добавлением к языку анализа двуместного предикатного символа ρ. К аксиомам этого расширения, помимо всех аксиом анализа (схема свертывания берется для всех формул нового языка) относится также серия аксиом, утверждающих, что отношение ρ вполне упорядочивает класс всех множеств натуральных чисел. Доказано, что описанная теория является консервативным расширением анализа со схемой зависимого выбора.