KnowraProof theoryLinked fromLinked fromThe 25 pages that link to Proof theory, each with the reason it gives.All 25Broader topic 3Related 4Narrower topic 16Compared with 2David HilbertRelated: Hilbert’s formal methods helped establish proof as an object of mathematical investigation.FormalismRelated: It analyzes derivations in the rule-based terms central to formalism.History of logicRelated: Modern logic increasingly treated proofs themselves as formal systems to analyze.Formal scienceRelated: It examines deduction itself as an object of formal investigation.