KnowraFormal proofLinked fromLinked fromThe 25 pages that link to Formal proof, each with the reason it gives.All 25Broader topic 3Related 14Narrower topic 6Compared with 2Proof theoryBroader topic: Formal proofs are the central objects whose form and properties proof theory examines.Formal logicBroader topic: A proof makes an inference valid by exhibiting its permitted derivation.Löb's theoremBroader topic: The theorem turns a claim about the existence of such a proof into a proof of the sentence.