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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.