About

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 instead. If you'd like feedback on its validity, use . If none of the above apply, you do not need a proof-* tag.

Proof theory is an area of logic that studies proof as formal mathematical objects. Formally, a proof is considered here as a sequence of symbols which has to comply some prescribed rules.

history | excerpt history