Prädikatenlogik/Endlichkeitssatz/Fakt/Beweis