マクレーンはZFCのF、すなわちフレンケルによる置換公理にケチをつけた
要するにこんな強い公理、普通の数学じゃ使わんし要らんだろう、と
ただ、マクレーンが考えるような集合論は、一般数学者の実用には困らんが
集合論的にはなんか中途半端で美しくないので、集合論の研究者からは嫌われてる