Prädikatenlogik/Endlichkeitssatz/Fakt/Beweis

< Prädikatenlogik/Endlichkeitssatz/Fakt

Beweis

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

Zur bewiesenen Aussage

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Endlichkeitssatz/Fakt/Beweis&oldid=904141“