А.А. Запрягаев. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза… Лекция 1