Математическая логика и теория алгоритмов 12. Аксиомы Пеано. Теорема Гёделя о неполноте
Математическая логика и теория алгоритмов 14. Лямбда-исчисление
Теорема Гёделя о (не)полноте
Дмитрий Гусев: Об умении мыслить, или о логике
Морфизмы-стрелки и домены // Теория категорий 1.2.
ПОЛНОЕ РУКОВОДСТВО — Арифметическая прогрессия
Теоремы Гёделя о неполноте
Введение в логику, урок 4: Предикаты и кванторы
Самая большая проблема в математике (величайший кризис в математике)
Предикаты