Кузнецов С. Л. - Математическая логика - Теория множеств. Часть 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. Начальный отрезок. Теорема о сравнении