Sübut nəzəriyyəsi

Sübut nəzəriyyəsi (According to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory.  consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics".) — riyazi məntiqin əsas sahələrindən biri olub, sübutların riyazi obyekt kimi formal təhlili ilə məşğuldur. Bu nəzəriyyə formal sistemlər, aksiomatik strukturlar və sübut alqoritmləri üzərində qurulmuşdur və əsas məqsədi riyazi arqumentlərin strukturunu başa düşmək, onların xassələrini öyrənmək və sübutların mexanikasını formallaşdırmaqdır.

 Həmçinin bax 
 Formal məntiq
 Riyazi məntiq
 Gödelin natamlıq teoremləri
 Hilbert proqramı
 Konstruktiv məntiq
 Sübut yoxlayan proqramlar

 İstinadlar 

Kateqoriya:Riyazi məntiq
Kateqoriya:Metalogiya