수학적 연역법인데
왜아직도 귀납법이라 부르지