Es sei α {\displaystyle {}\alpha } ein Ausdruck in einer Sprache L S {\displaystyle {}L^{S}} erster Stufe. Zeige, dass
keine Tautologie ist.