45. Логика. Теории, содержащие термины-свидетели.

46. ​​Логика. Завершение доказательства полноты.

Язык категорий | Теория категорий и почему она нам небезразлична 1.1

42. Logic. The Set Of Closed Terms

How to Read Logic

Math 125A -- Mathematical Logic

Math 135 -- Intro to Set Theory

Задача из вступительных Стэнфорда

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Чем ОПАСЕН МАХ? Разбор приложения специалистом по кибер безопасности

44. Logic. Term Models for maximal consistent sets of formulas

Акунин ошарашил прогнозом! Финал войны уже решён — Кремль скрывает правду

Emily Riehl Makes Infinity Categories Elementary

✓ Новая формула площади прямоугольного треугольника | Ботай со мной #159 | Борис Трушин

физтех отжигает на псевдонаучке ФизФака МГУ Full HD

Negating Universal and Existential Quantifiers

43. Logic. The Term Model

12. Теорема Пуанкаре - Перельмана

Загадка, в которую невозможно поверить, даже если знаешь ответ [Veritasium]

Grigori Perelman documentary

Как считает квантовый компьютер? Самое простое объяснение!