それにカテゴリー論はBGC内で解釈できるし
巨大基数公理を付け加えればZFC内でも解釈できる。
またZFC集合論での超数学での理論と解釈することも出来る、
とか書いてあったけど。