a) Beweisen Sie, dass M ( T ) eine Teilmenge von S ( T ) ist.
b) Beweisen Sie, dass D ( T ) eine Teilmenge von S ( T ) ist.
c) Formulieren Sie eine Funktion f, die jedem potentiellen Modell x ein System aus S ( T ) zuordnet, welches nur aus den nicht-theoretischen Termen von x besteht.