Jabarkan Lengkap & sahih dari Sistem formal dalam bahasa melayu

Konsep-konsep ini membabitkan hubungan di antara sintaks dan semantik sesuatu sistem formal.

Sesuatu sistem itu dikatakan lengkap jika semua perkataan sah (ayat benar) adalah teorem. Dalam lain perkataan, setiap perkataan yang mempunyai tafsiran 'benar', boleh dibuktikan sebagai teorem secara manipulasi simbolan.

Sesuatu sistem itu dikatakan sahih jika semua teorem adalah sah. Dalam kata lain, setiap teorem yang boleh dibuktikan secara sintaks, mempunyai tafsiran semantik yang sepada dengan 'benar'.

Bagi sistem logik, yang dikehendaki ialah sistem yang lengkap dan sahih, supaya sintaksnya mencerminkan semantiknya, dan begitulah sebaliknya.