About

Proof theory is an area of logic that studies proof as formal mathematical objects. For questions asking how to write proofs or for checking an informal proof, please use the proof-writing or proof-strategy tags instead.

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