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