19/10/16 00:00:22 eqCH01Ub.net
不定なものと他の比較を新しい定義抜きですることはできない
というのは逆にそこを埋めるのがさかのぼれば選択公理であるということで
ではグロタンディーク宇宙を埋めうる選択公理は選択公理のバリエーションの
なかのどれかというと確かに安達さんの提案したとおもわれる議論になるのです
19/10/16 00:00:22 eqCH01Ub.net
不定なものと他の比較を新しい定義抜きですることはできない
というのは逆にそこを埋めるのがさかのぼれば選択公理であるということで
ではグロタンディーク宇宙を埋めうる選択公理は選択公理のバリエーションの
なかのどれかというと確かに安達さんの提案したとおもわれる議論になるのです