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

Beweis

Dies folgt aus Fakt. Für die Widerspruchsfreiheit ist die Aussage klar, da eine Ableitung eines Widerspruchs nur Bezug auf endlich viele Voraussetzungen nimmt.

Zur bewiesenen Aussage