Prädikatenlogik/Endlichkeitssatz für Erfüllbarkeit/Fakt/Beweis
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.