Vollständigkeitssatz/Korrektheitssatz/Fakt/Beweis

Aus Wikiversity
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 .

Zur bewiesenen Aussage