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

Endlichkeitssatz für Erfüllbarkeit

Es sei ein Symbolalphabet und eine Menge an -Ausdrücken. Es sei jede endliche Teilmenge erfüllbar.

Dann ist erfüllbar.