20.1. Единственность порядкового типа

Это видео - добавление к предыдущему, а именно, в нем мы доказываем единственность порядкового типа произвольного вполне упорядоченного множества.