Proof Theory
- Metamathematics
- Cut-elimination
- Tarski's indefinability theorem
- Diagonal lemma
- Provability logic
- Interpretability logic
- Sequent
- Sequent calculus
- Analytic proof
- Structural proof theory
- Self-verifying theories
- Substructural logics
- Structural rule
- Weakening
- Contraction
- Linear logic
- Intuitionistic linear logic
- Proof net
- Affine logic
- Strict logic
- Relevant logic
- Structural rule
- Proof-theoretic semantics
- Ludics
- System F
- Gerhard Gentzen
- Gentzen's consistency proof
- Reverse mathematics
- Nonfirstorderizability
- Interpretability
- Weak interpretability
- Cointerpretability
- Tolerant sequence
- Cotolerant sequence
- Deduction theorem
Read more about this topic: List Of Mathematical Logic Topics
Famous quotes containing the words proof and/or theory:
“The chief contribution of Protestantism to human thought is its massive proof that God is a bore.”
—H.L. (Henry Lewis)
“The theory of the Communists may be summed up in the single sentence: Abolition of private property.”
—Karl Marx (18181883)