Kurt Gödel
The lemma was formulated and proved by Kurt Gödel in his proof that the axiom of constructibility implies GCH.