>>516
訂正。自己参照は間違いでした。
完全定義すれば、予めの不完全定義がなくても自己参照が可能ですから。
不完全定義が必須なのは互い違いの参照です。