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

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

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

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