Es sei Γ ⊆ L S {\displaystyle {}\Gamma \subseteq L^{S}} eine widersprüchliche, unter Ableitungen abgeschlossene Teilmenge. Zeige, dass es nur eine Termklasse im Sinne von Bemerkung gibt.
