2005-06-26 Grothendieck, "Tohoku" (1957) math enough injectives を generator の存在から導くところが,Zorn の補題や超限帰納法を用いていたりして,濃い.