„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?