帰納的定義