1. müəyyən hesablama ifadələrinin qurulmasını müəyyən edən qaydalar sistemi. metaməntiqin 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* aksiomatik nəzəriyyənin ziddiyətsizliyi , tamlıq* aksiomatik nəzəriyyənin tamlığı , asılı olmamaq* aksiomlar sisteminin asılı olmaması , həlledicilik* həll edilmə problemi , sübutluluq problemlərindən ibarətdir. sübutluluq problemi hər bir sübut olunan* yəni aksiomlardan əldə edilən mülahizə üçün sübutunu quran alqoritmin tapılmasından ibarətdir.