А ну это я знаю, но это снова же, приколы формальной логики
Нет. Не совсем. Суть в том, что на языке этой формальной логики может быть описан и мир в целом. по крайней мере мы вправе описать мир, как формально описываемый.
И поэтому теоремы Гёделя вполне применимы к объектам материального мира.
В худшем случае там вылезает проблема карта/местность для неверифицируемых тезисов.