Von der Abstraktion zur Induktion