В этой связи хотелось бы заметить, что ТГ интересна и важна прежде всего для математики. В этой науке вообще любят в рамках ограниченного набора аксиом совершенно строго доказать что-то довольно очевидное. Не всякий раз, ессно. Но довольно-таки часто. Вот взять хотя бы теорему Ролля из дифференцильного исчисления. Вроде бы банальное утверждение… но вполне строго доказуемое. Вот и ТГ из этой же серии.
А в реальности и соотносимых с ней науках, например, в физике, полезность ТГ сомнительна, так как физика (особенно квантовая) наполнена противоречивыми суждениями, вытекающими из экспериментов. Мы, увы, доподлинно не знаем, ни что такое электрон, ни что такое фотон, ни почему скорость света постоянна… Уж больно это логически противоречивые объекты… Тут и без Гёделя мозги сломать можно.
Кесарю — кесарево, а теорему Гёделя — математикам. Аминь.