Die Ausdrucksmenge Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} enthalte eine Kontradiktion. Zeige Γ ⊨ = L V {\displaystyle {}\Gamma ^{\vDash }=L^{V}} .
enthalte eine
Kontradiktion.
Zeige
.
