KnowraDeductive systemLinked fromLinked fromThe 7 pages that link to Deductive system, each with the reason it gives.All 7Related 3Narrower topic 4AxiomRelated: Its rules specify how axioms yield theorems.Formal logicRelated: It specifies the steps by which formal proofs are constructed.Lindenbaum's lemmaRelated: The meaning of consistency depends on which derivations the chosen system permits.