예를들면
f(x+y)=f(x)f(y) 이거를 따로 증명안하고
지수함수이다 라고 하면 귀납적추론임?