Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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 proofs and deductive systems as formal mathematical objects. Formally, a proof is a sequence of symbols that obeys the rules of the deductive system.

history | excerpt history