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 2Sequent calculusNarrower topic: A sequent-calculus derivation is a formal proof built from rule applications.Principia MathematicaNarrower topic: The work presents mathematics as derivations governed by formal inference rules.Computer-assisted proofNarrower topic: Formalization offers a route from complex machine-assisted arguments to mechanically checked derivations.Independence (mathematical logic)Narrower topic: Independence concerns the absence of proofs of both a sentence and its negation.Gödel sentenceNarrower topic: Unprovability means that no such sequence ends with the Gödel sentence.Deduction theoremNarrower topic: The theorem compares which conclusions have formal derivations under different premises.