本文主要介绍了经济学的一般均衡理论随着基础数学的发展而发展的过程，在这个过 程中，经济学从直观的经验猜测向严谨的社会科学不断进步，其中数学的公理化过程起到 至关重要的作用。公理化将经济现象抽象为数学模型，用逻辑推导是这个模型不断进步， 进而对现实生活有指导作用。本文从最经典的一般均衡模型开始，通过对不动点定理的应 用，在数学上将两者等同起来。当不动点定理得到推广时，一般均衡的模型也得到了推 广，甚至扩展到博弈论中的 Nash 均衡研究中。

This paper mainly introduces the development process of the general equilibrium theory of economics with the development of basic mathematics. In this process, economics has made con- tinuous progress from intuitive empirical guess to rigorous social science, in which the axiomatic process of mathematics plays a vital role. Axiomatization abstracts economic phenomena into a mathematical model, and logical derivation is the continuous progress of this model, which can guide real life. Starting from the most classical general equilibrium model, this paper mathemat- ically equates the two through the application of the fixed point theorem. When the fixed point theorem is extended, the model of general equilibrium is also extended, and even extended to the study of Nash equilibrium in game theory.