теория доказательства

Proof theory, theor of proof