Теоремы Гёделя о неполноте - это две теоремы математической логики, которые устанавливают ограничения, присущие всем математическим системам, кроме самых тривиальных.
Теоремы Гёдела о неполноте - это название двух теорем, доказанных Куртом Гёделем в 1931 году. Они касаются ограничений во всех, кроме самых тривиальных формальных систем арифметики, представляющих математический интерес.