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

Курт Гёдель показал, что в любой непротиворечивой формальной системе (достаточно сложной для арифметики) найдутся истинные высказывания, которые нельзя ни доказать, ни опровергнуть внутри этой системы. Это фундаментальное ограничение математики имеет глубокие философские следствия.