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