>>549
>圏に部品をくっつけたり取ったりすることによって、どの公理が公理系の違いを分ける本質だったかが分かる。

仮にそうだとして基礎論専門以外の大多数の数学者には関係ない
大多数の数学者はZFCというか素朴集合論で何不自由なく仕事してる。