Proof theory is an area of logic that studies proof as formal mathematical objects. If you'd like advice on the presentation of a proof you have in draft, use proof-writing instead. If you'd like feedback on its validity, use proof-verification. If none of the above apply, you do not need a proof-* tag.

This tag is **NOT** intended for questions asking how to write proofs or for checking a proof posted in the question. If you'd like advice on the presentation of a proof you have in draft, use proof-writing instead. If you'd like feedback on its validity, use proof-verification. If none of the above apply, you do not need a proof-* tag.

Proof theory is an area of logic that studies proofs and deductive systems as formal mathematical objects. Formally, a proof is a sequence of symbols that obeys the rules of the deductive system.