eine Aussage, die auseiner Menge von gegebenen Aussagen (Voraussetzungen) inhaltlich folgt.

Ist z. B. L eine elementare Sprache, T eineMenge von Aussagen aus L (T wird auch elementare Theorie genannt und dient als Menge von Voraussetzungen), und ist φ eine in L formulierteAussage, dann folgt φ aus der Theorie T (symbolisch: T ⊨ φ), wenn jedes Modell von T auchein Modell von φ ist.