Hur används ordet härledbar?
I systemet S är alltså antingen formula_3 eller dess negation formula_7 härledbar, det vill säga för alla uttryck formula_3 som kan uttryckas i systemets språk L.
En formel B är härledbar från en mängd A av satser i det formella systemet S om och endast om det med ett ändligt antal härledningssteg följer att B impliceras av A.
Sådana härledbara formler kallas teorem.
Alla dessa, teorem/sats, lemma och korallarium, är teorem i logikens definition, dvs härledbara ur teorins axiom.
Ett deduktivt system S är fullständigt eller komplett för språket L om och endast om formula_3 implicerar formula_4, dvs om alla giltiga argument är härledbara.
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.