Strukturelle Induktion

Einfache Sprache

Die Strukturelle Induktion ist eine Verallgemeinerung der vollständige Induktion, bei der Eigenschaften für Mengen gezeigt werden. Dabei gibt es immer eine Menge an Grundelementen und eine Konstruktionsvorschrift um neue Elemente aus aus bereits bestehenden zu erzeugen (bzw. ein Erzeugungssystem.