Vollständigkeitssatz/Korrektheitssatz/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Es sei vorausgesetzt. Dann gibt es endlich viele Ausdrücke derart, dass eine formale Tautologie ist. Nach Fakt ist auch allgemeingültig. Es sei eine Interpretation mit . Dann ist insbesondere und wegen der Allgemeingültigkeit von gilt . Also gilt auch .