Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Total/Fakt/Beweis/Aufgabe

Es sei ${}S$ ein Symbolalphabet und ${}L^{S}$ die zugehörige Sprache erster Stufe, wobei die Sprache zumindest eine Variable besitzen möge. Es sei ${}T\subseteq L_{0}^{S}$ eine Theorie. Zeige, dass ${}T$ genau dann widersprüchlich ist, wenn ${}T=L_{0}^{S}$ ist.

Eine Lösung erstellen