Det första välfärdssatsen , som är en av välfärdsekonomins grundläggande satser , kan formuleras på följande sätt: fördelningen (p, x, y), som kännetecknar den allmänna jämvikten i ekonomin, kommer också att vara Paretooptimal , förutsatt att Alla konsumenters nyttofunktioner är lokalt omättade .
Giltigheten av detta teorem garanterar i sin tur att om ett antal förutsättningar är uppfyllda, kommer den etablerade jämvikten på marknaden alltid att vara optimal , det vill säga att det inte finns något behov av statligt ingripande i ekonomin.
Den första välfärdssatsen är oupplösligt kopplad till den andra välfärdssatsen .
De första och andra välfärdsteoremet svarar tillsammans på den mest rättvisa kritiken av den klassiska ekonomiska skolan , det vill säga de visar mekanismen och förutsättningarna för att uppnå effektivitet genom konkurrens på marknaden.