Ф.Н. Пахомов. Лекция 10. Система обозначений для ординала Γ0. Доказательства трансфинитной индукции