Tanggung jawab teorema
Teorema reliabilitas (utawa kelengkapan) minangka asil sing paling dhasar saka logika matematika. Dheweke duwe teori semantik sing spesifik babagan logika formal saka logika formal lan bentuk sistem kasebut. Ana rong varian utama keandalan teorema: linuwih linuwih lan keandalan sing kuat. Pentinge "kuwat" lan "banget" yaiku sing linuwih kuwat ngemot sembarang setel kalimat, lan setel kalimat sing dihubungake karo kekarepan sing lemah iku salah sawijining koleksi kasebut. Paling ora, nanging ora kabeh sistem deduktif, linuwih linuwih lan linuwih banget sing bener. ...