📜 Theorem, law or theory

Fundamental theorems of welfare economics

Teoremas fundamentales de la economía del bienestar

Date
c. 1900-1954 · confidence low
Place
Lausanne, Vaud, Switzerland
Credited to
Léon Walras and Vilfredo Pareto (initial formulation); Kenneth Arrow and Gérard Debreu (rigorous proof, 1954)
Field
Knowledge & symbols

⚠️ Disputed: the sources disagree.

What was discovered

Two theorems of mathematical economics: the first states that any competitive equilibrium with complete markets is Pareto optimal; the second, that any efficient allocation can be reached through competitive markets with suitable transfers.

Date and attribution are approximate: the idea traces back to Walras and Pareto and was rigorously formalized by Arrow and Debreu in 1954.

What it led to

  • modern welfare economics
  • theoretical justification of competitive markets
  • market failure analysis
  • redistribution policy via transfers

Links

Sources✓ verified 2026-09-28