Es sei T {\displaystyle {}T} die Menge aller Tautologien in einer aussagenlogischen Sprache L V {\displaystyle {}L^{V}} . Zeige T ⊨ = T {\displaystyle {}T^{\vDash }=T} .
