allgemeingültiger Ausdruck (gültiger Satz) in einem logischen Kalkül.

Als Axiomensystem in einem logischen Kalkül dient eine „überschaubare“ (rekursive) Teilmenge AX der Satzmenge S so, daß mit Hilfe der Ableitungsrelation aus AX die restlichen Elemente in S erzeugt werden können.