proof theory

noun

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