Г. Брутян, анализируя теорему К. Геделя, обращает особое внимание на то, что «для всякой системы аксиом теории множеств всегда найдутся конкретные утверждения, которые верны, но из этой системы аксиом не вытекают. Именно то и утверждает теорема Геделя, и не только в отношении аксиоматической арифметики» (СНОСКА: Брутян Г. А. Письмо Курта Геделя // Вопросы философии. 1984. № 12. С. 125).

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