フォドアの補題

数学、特に集合論においてフォドアの補題(あるいはフォドアの押し下げ補題)は以下の主張を指す: == 証明 == この補題はハンガリー人集合論者 Géza Fodor によって1956年に初めて証明された。しばしば「押し下げ補題(The Pressing Down Lemma)」などと呼ばれたりもする。

この神経はここで途切れています。