>>846-847
２つの意味で間違ってる
・圏論は集合論の上の理論として立っている　
　集合論とは別の独立した理論ではない
・高階論理は一階論理の上の公理系として立っている　
　一階論理とは別の独立した論理ではない

SET Aの主張は、
渕野昌氏「圏論と集合論」（現代思想「圏論の世界」に採録）で
完膚なきまで論破された中二病的妄想