完全竞争市场经济的一般均衡是帕累托最优的。
完全竞争市场经济应当满足产权界定清晰、零交易费用、完全信息及使一般均衡存在的有关偏好、技术等方面的约定条件。在数理经济学中，该定理实质上是用数学语言表述了亚当·斯密(Adam Smith)的“看不见的手”(invisible hand)原理。第一定理表明了完全竞争市场在效率方面的优越性，但丝毫没有涉及公平问题。对第一定理的批评来自两个方面。
首先是对其假设前提的非现实性方面。由于其预设的严格性，第一定理只是逻辑上的同义反复，并没有提供任何经验的内容。零交易费用、完全信息等假设使计划机制能够取得同市场机制一样的效率，未能解释两种机制在现实经济中的效率差别。事实上，正是不完全信息、正交易费用等的存在，使市场机制在利用信息、提供激励方面优于计划机制。
批评的另一方面并不是针对该定理本身，而是市场机制可能产生的不公平的后果。福利经济学第二定理回答了那些怀疑市场机制的人可能提出的疑虑：我们是否需要放弃市场机制来达到我们想要的公平分配?
〖参〗福利经济学第二定理