经历猜想验证过程 逐步抽象学习模型