Arrow和Debreu1954年证明一般均衡存在性是用了Debreu构造的抽象经济。抽象经济是一个包含了博弈和竞争均衡的结构。Mckenzie同年的论文是用角谷不动点定理。现在的高级微观经济学教材讲的证明都是用角谷不动点定理（简化版用布劳威尔不动点定理），唯一讲了抽象经济的是田国强院长的教材。如果不是在上财听了田院长的高微课，我不会知道抽象经济。