23.6 귀납적 일반화