Prädikatenlogik/Endlichkeitssatz/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Dies folgt direkt aus Fakt, da die Endlichkeitsbeziehung für das Ableiten nach Definition gilt.