proof theory


noun

the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity