GEB, стр. 221
Программа Гильберта:
Доказать непротиворечивость ТТЧ используя "лёгкие" методы (конечностные).
Метафора: протянуть тяжёлый канат между кораблями, сначала перебросив лёгкую верёвку.
Гёдель показал: это НЕВОЗМОЖНО.
"Любая система, достаточно мощная, чтобы доказать непротиворечивость ТТЧ, по крайней мере так же мощна, как сама ТТЧ."
🌀 Порочного круга не избежать. Нельзя вытащить себя за волосы.