Vollständigkeitssatz/Nur Variablen/Gleichheit/Tautologien/Gültigkeitsmenge/Aufgabe
Es sei ein Symbolalphabet, das nur aus Variablen besteht. Es sei
wobei verschiedene Variablen seien, und sei
Zeige, dass maximal widerspruchsfrei ist und Beispiele enthält.