Как устроено доказательство Гёделя
В 1931 году австрийский логик Курт Гёдель доказал теоремы о неполноте, которые похоронили надежду математиков на создание единой непротиворечивой и полной системы аксиом. Разбор показывает, как Гёдель с помощью нумерации формул заставил математическую систему говорить о самой себе — и тем самым доказал, что любая достаточно мощная система аксиом либо неполна, либо противоречива.