Конструктивное построение теории множеств. I. Порядковые и кардинальные числа

Предлагается вариант теории множеств, в котором понятие множества, помимо обычных ограничений, должно удовлетворять требованию завершимости процесса его построения. Благодаря этому класс ординалов получается вполне упорядоченным отношением принадлежности, так что континуум-проблемы не существует. Данная публикация содержит неформальное изложение теории, аксиоматизация которой будет описана во второй части.