帰納的定義と演繹的定義