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