Prädikatenlogik/Endlichkeitssatz für Erfüllbarkeit/Fakt

Endlichkeitssatz für Erfüllbarkeit

Es sei $S$ ein Symbolalphabet und $\mathrm{\Gamma }$ eine Menge an $S$-Ausdrücken. Es sei jede endliche Teilmenge  ${\Gamma }_e\subseteq \Gamma$  erfüllbar.

Dann ist $\mathrm{\Gamma }$ erfüllbar.

Zum Beweis, Alternativen Beweis erstellen