>>74
>>8
前スレ997-1000の流れのレス。

>>73
前スレ997で、ラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという感じに落ち着きましたね、
ってあるけど。

>>73
グロタンディーク宇宙での階層になりますが、
リンクを略してもRockで貼れなかった(檜山正幸＋あなたはこの公理を信じますか、でググる) では、
檜山氏が引用した、Paul Blain Levyのarxiv.org/abs/1801.08528の論文とか、
えらーい困難ありそう。