Бүрэн бус байдлын тухай Гёдэлын теоремууд (Англи: Gödel's incompleteness theorems) нь дүрэмчлэгдсэн аксиомд суурилсан онолуудын батлагдах боломжийн хязгаарлагдмал шинж чанарын тухай математик логикийн 2 теоремоос бүрдэх юм.
