Sübut nəzəriyyəsi (ing. Proof theory[1]) — 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.
- ↑ According to Wang, (1981. səh. 3–4), proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Barwise, (1977) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics".