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

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.

Dann ist ${}T$ genau dann widersprüchlich, wenn ${}T=L_{0}^{S}$ ist.

Einen Beweis erstellen