"Ноооо ревволюция, ты научилла нас..." ДДТ Так вот, судари мои и сударыни. «С тех пор как Гёдель* доказал**, что не существует доказательства непротиворечивости формализуемой арифметики Пеано внутри ней самой (1931), у политологов появились возможности понять, зачем нужно было мумифицировать Ленина и выставлять его на обозрение «случайных» товарищей в мавзолее в центре народного государства» Режи Дебрэ***, «Писец» (1980, с. 70) «Итак, применяя теорему Гёделя к вопросам закрытого и открытого, касаясь социологии, Режи Дебрэ в одном и том же жесте связывает петлёй и проходит заново историю и работу двух предшествующих столетий». Мишель Серр****, «Элементы истории науки» (1989, с. 359-360) *какой-то венский очкарик — математик Курт Гёдель **Формулировка первой,или слабой теоремы Гёделя о неполноте: «Любая формальная система аксиом содержит неразрешенные предположения». Но на этом Гёдель не остановился, сформулировав и доказав вторую, или сильную теорему Гёделя о неполноте: «Логическа