Фрагмент из вики (просто ресурс для дальнейшего погружения) о Геделе
Австрийский математик Курт Гёдель доказал «теоремы о неполноте», согласно которым всякая система математических аксиом (формальная система), в которой можно определить натуральные числа, сложение и умножение, неполна. Это значит, что найдётся бесконечное количество математических утверждений (функций, выражений), ни истинность, ни ложность которых не сможет быть доказана на основании данной системы аксиом. Также, по теореме о неполноте, среди этих невыводимых утверждений будет утверждение о непротиворечивости этой системы.
!