Leeres Symbolalphabet/Elementare Äquivalenz/Eine Äquivalenzklasse/Aufgabe
Es sei ein erststufiges Symbolalphabet, das nur aus einer Variablenmenge besteht, die Konstantenmenge und die Mengen der Funktionssymbole und der Relationssymbole seien also leer. Zeige, dass je zwei Elemente elementar äquivalent
sind.
