>>283 タイポ訂正

 またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である(最近ではさらにGrithendieckやMacLaneなどの考案もある)」とも)
   ↓
 またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である(最近ではさらにGrothendieckやMacLaneなどの考案もある)」とも)

Grithendieck→Grothendieck な