最早为我们提供了这种演绎的方法的是（　）。