关于“渐进式归纳法”的四个案例