19/07/12 07:16:13.26 2FH9CSIo.net
>>74
>>8
前スレ997-1000の流れのレス。
>>73
前スレ997で、ラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという感じに落ち着きましたね、
ってあるけど。
>>73
グロタンディーク宇宙での階層になりますが、
リンクを略してもRockで貼れなかった(檜山正幸＋あなたはこの公理を信じますか、でググる) では、
檜山氏が引用した、Paul Blain Levyのarxiv.org/abs/1801.08528の論文とか、
えらーい困難ありそう。