Теорема Гёделя. Почти строгое доказательство!

Как же хочется поскорее разобрать основную идею доказательства... Но сначала нам предстоит понять что общего между высказываниями, числами и формальными системами, а также зачем одно переводить в другое! (пожалуйста, не спрашивайте когда будет следующая часть) Книга Ньюмена и Нагеля: https://www.amazon.com/G%C3%B6dels-Pr...
Книга Мендельсона: https://www.routledge.com/Introductio...
ссылка про формальные системы: https://cs.lmu.edu/~ray/notes/formals...
Таймкоды: 00:00 Мы начинаем! 2:28 Предисловие (изоморфизм и структуры) 7:13 Языки и формальные системы 11:13 Кодирование и типы высказываний 15:16 Противоречия, полнота и выводимость 19:21 Арифметика и теория множеств 26:47 Формальные системы с арифметикой 31:58 Логические пояснения 33:48 Высказывания и числа 43:25 Метаматематика и доказательства 53:58 План доказательства 57:01 Поясняем шаги! 1:09:13 Финальные выводы #Гедель #логика #парадокс