수학적 귀납법 (역사) (이동)