Strukturelle Induktion

Induktion (Beweis) über mittels einer Grammatik definierten Objekte.