Лекция 3. Д.И.Савельев. Арифметика ординалов, фундированные отношения