연역입니다. 수학적 귀납법에 따른 추론은 필연적으로 참이니까요. 참고로 수학적 귀납법의 일반 형태는 페아노 공리계에 공리로 포함되어 있습니다.(1차 언어로 기술할 경우 명제도식으로 제시되는데 이는 해당 공리가 무한하기 때문입니다.)
연역입니다. 수학적 귀납법에 따른 추론은 필연적으로 참이니까요. 참고로 수학적 귀납법의 일반 형태는 페아노 공리계에 공리로 포함되어 있습니다.(1차 언어로 기술할 경우 명제도식으로 제시되는데 이는 해당 공리가 무한하기 때문입니다.)