Prädikatenlogik/Endlichkeitssatz/Fakt

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