müəyyən hesablama ifadələrinin qurulmasını müəyyən edən qaydalar sistemi. <a href="https://soz6.com/sds-search.php?query=metaməntiq" class="bbcodeout gbkz" title="metaməntiq">metaməntiq</a>in interpretasiya olunmamış hesablamaların sturukturunu və xassələrini öyrənən bölməsi. məntiqi hesablamaların sintaktik nəzərdən keçirilməsində meydana gələn əsas məsələlər ziddiyətsizlik<a href="https://soz6.com/sds-search.php?query=aksiomatik nəzəriyyənin ziddiyətsizliyi" class="bbcodeout" style="font-size: 10px; position: relative; bottom: 5px;" title="aksiomatik nəzəriyyənin ziddiyətsizliyi">* aksiomatik nəzəriyyənin ziddiyətsizliyi </a>, tamlıq<a href="https://soz6.com/sds-search.php?query=aksiomatik nəzəriyyənin tamlığı" class="bbcodeout" style="font-size: 10px; position: relative; bottom: 5px;" title="aksiomatik nəzəriyyənin tamlığı">* aksiomatik nəzəriyyənin tamlığı </a>, asılı olmamaq<a href="https://soz6.com/sds-search.php?query=aksiomlar sisteminin asılı olmaması" class="bbcodeout" style="font-size: 10px; position: relative; bottom: 5px;" title="aksiomlar sisteminin asılı olmaması">* aksiomlar sisteminin asılı olmaması </a>, həlledicilik<a href="https://soz6.com/sds-search.php?query=həll edilmə problemi" class="bbcodeout" style="font-size: 10px; position: relative; bottom: 5px;" title="həll edilmə problemi">* həll edilmə problemi </a>, sübutluluq problemlərindən ibarətdir. sübutluluq problemi hər bir sübut olunan<a href="https://soz6.com/sds-search.php?query=yəni aksiomlardan əldə edilən" class="bbcodeout" style="font-size: 10px; position: relative; bottom: 5px;" title="yəni aksiomlardan əldə edilən">* yəni aksiomlardan əldə edilən </a> mülahizə üçün sübutunu quran alqoritmin tapılmasından ibarətdir.