Лекция по матлогике №1, Кожухов

Таймкоды: 0:00 - Молчание. 1:00 - Начало, описание предмета. 11:20 - Аксиомы. 16:30 - Перерыв. 22:30 - Продолжение про аксиомы. 38:00 - Доказательство непротиворечивости евклидовой геометрии(лукавое), действительных чисел и теории множеств. 46:00 - Модели лобачевского(Пуанкаре, Бельтрами-Клейна) 53:40 - Исчисление высказываний. Язык ИВ. 56:45 - Формула. 1:00:25 - Лемма 1(доказательство бесполезное). 1:10:15 - Теорема 1. 1:14:20 - Метаязык. 1:15:40 - Секвенция. 1:17:10 - Аксиомы. 1:18:00 - Правила вывода. МИЭТ