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