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