Definitionen führen nur praktische Abkürzungen ein, aber wir könnten auch ohne sie auskommen. Aber wie ist es mit den rekursiven Definitionen?