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 2Hilbert's programBroader topic: Hilbert's metamathematical approach helped establish proof theory as a field.Mathematical logicBroader topic: It examines derivations syntactically, independently of whether their conclusions are true in a model.Formal logicBroader topic: It examines proofs as structured objects within formal logical systems.