Pareto and Barone proposed the First Welfare Theorem formally in the 1900s.
These theorems were proved graphically in 1934 by Abba Lerner.
They were proved mathematically by Oskar Lange in 1942 and Maurice Allais in 1943 (for which Allais won the Nobel Prize in Economics in 1988).