Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Prädikatenlogik/Vollständigkeitssatz/Tautologieversion/Fakt/Beweis
Sprache
Beobachten
Bearbeiten
<
Prädikatenlogik/Vollständigkeitssatz/Tautologieversion/Fakt
Beweis
Dies folgt aus
Fakt
mit
Γ
=
∅
.
{\displaystyle {}\Gamma =\emptyset \,.}
Zur bewiesenen Aussage
