Кузнецов С. Л. - Математическая логика - Теория множеств. Часть 2
0:00:19 1. Аксиоматика теории множеств (краткий обзор предыдущей лекции)
0:08:26 2. Порядок натуральных чисел
0:24:19 3. Арифметика Пеано
0:41:15 4. Теорема Гёделя о неполноте
0:56:08 5. Вполне упорядоченное множество
1:17:55 6. Начальный отрезок. Теорема о сравнении