Zum Inhalt springen

Prädikatenlogik/Endlichkeitssatz/Fakt/Beweis