Бүрэн бус байдлын тухай Гёдэлын теоремууд

Бүрэн бус байдлын тухай Гёдэлын теоремууд () нь дүрэмчлэгдсэн аксиомд суурилсан онолуудын батлагдах боломжийн хязгаарлагдмал шинж чанарын тухай математик логикийн 2 теоремоос бүрдэх юм.

Ангилал:Танин мэдэхүйн онол
Ангилал:Математикийн логик