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