Matematika yo’nalishi

To‘liqlilik muammosi. Agar biror nazariyaning zidsizligi isbot qilingan bo’lsa (yoki isbot qilinishi mumkin deb hisoblansa), u holda bu nazariya uchun to’liqlilik muammosini qo‘yish ma’noga ega bo’ladi.

6-ta’rif. Agar T nazariyaning istalgan S mulohazasi uchun yo S, yoki uning inkori S teorema bo‘lsa, u holda bu nazariya absolyut to‘liq deb ataladi

7-ta’rif. Aksiomalari qatoriga hamma keltirib chiqarish qoidalarini saqlagan holda, istalgan isbotlanmaydigan tasdiqni qo‘shganda, ziddiyatga ega bo'lgan nazariya hosil bo 'ladigan aksiomatik nazariya tor ma’noda to‘liq deb ataladi. Har qanday absolyut to’liq nazariya tor ma’noda ham to’liq bo’ladi.