20. Трансфинитная рекурсия

0:00 - теорема о трансфинитной рекурсии 1:44 - генератор рекурсии 18:12 - определяемое рекурсивное отображение 26:49 - порядковый тип вполне упорядоченного множесства