Что такое теорема Гёделя о неполноте?

Answer 1

Две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.

Answer 2

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