Prädikatenlogik/Endlichkeitssatz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Endlichkeitssatz

Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck.

Dann gilt genau dann, wenn es eine endliche Teilmenge gibt mit .

Zum Beweis, Alternativen Beweis erstellen