Л.Д. Беклемишев. Лекция 8. Ординалы. Канторовская система ординальных обозначений для ординала ε0