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:
“O, popular applause! what heart of man
Is proof against thy sweet, seducing charms?”
—William Cowper (1731–1800)
“Psychotherapy—The theory that the patient will probably get well anyway, and is certainly a damned ijjit.”
—H.L. (Henry Lewis)