数学进步的引擎是"不满足"

从自然数到分数到负数到无理数到复数，每一次数系扩展都不是因为"发现了新东西"，而是因为"旧工具不够用了"。减法不够用就发明负数，除法不够用就发明分数，开方不够用就发明虚数。进步不是来自满足，而是来自"旧答案不够好"的不满。这是抽象阶梯模型的底层动力。