Применимы ли теоремы Курта Гёделя к опровержению создания теории всего?

Теоремы Курта Гёделя о неполноте не напрямую применимы к опровержению создания теории всего, но они заставляют усомниться в её создании. yandex.ru

Гёдель доказал, что любой набор аксиом, который можно предложить на роль основы математики, неизбежно будет неполным. habr.com Всегда найдутся истинные утверждения, касающиеся чисел, которые невозможно будет доказать при помощи этих аксиом. habr.com

Таким образом, теоремы Гёделя означают, что математической теории всего быть не может, и нельзя объединить множество доказуемых утверждений со множеством истинных. habr.com

Однако основная проблема в подобных теориях, по мнению некоторых учёных, заключается не в аксиоматике, а в том, что любая теория — модель, которая неизбежно будет не полностью соответствовать экспериментальным фактам. yandex.ru