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

Как же хочется поскорее разобрать основную идею доказательства... Но сначала нам предстоит понять что общего между высказываниями, числами и формальными системами, а также зачем одно переводить в другое! (пожалуйста, не спрашивайте когда будет следующая часть) Книга Ньюмена и Нагеля: ödels-Proof-Ernest-Nagel/dp/0814758371 Книга Мендельсона: ссылка про формальные системы: ~ray/notes/formalsystems/ Таймкоды: 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 Ф