< Prädikatenlogik < Endlichkeitssatz für Erfüllbarkeit < Fakt
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.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.