帰納法の定義