21/04/24 11:01:55.58 dHO/i44V.net
さらなる燃料投下ｗ
「グロタンディーク宇宙の公理から
宇宙の要素となる集合の存在は導けない」
理由
空集合がグロタンディーク宇宙の公理を満たすｗ
上記の下らん例は、
「グロタンディーク宇宙が空集合{}を要素として持つ」
とするとすれば排除できるが･･･
「グロタンディーク宇宙の公理から
宇宙の要素となる無限集合の存在は導けない」
理由
すべての遺伝的有限集合 の集合Vωがグロタンディーク宇宙の公理を満たす
したがって、グロタンディークの公理とは別に
「グロタンディーク宇宙の要素となる無限集合が存在する」
という必要がある