再帰的定義の場合は基礎の部分は再帰の部分と定義が違うのが普通だろ。
逆に基礎がなくて再帰の部分だけ何ていう奴見たこと無いんですけど・・・・