Vollständige und starke Induktion

Aussagen über natürliche Größen von sicheren Basisfällen aus Schritt für Schritt aufbauen.