This tag is NOT intended for questions asking how to write proofs or for checking a proof posted in the question. Use tag for such questions.

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 | show excerpt | excerpt history