>>741
>>（グロタン宇宙はノイマン宇宙の中の集合の1つなんだけどね）
>(ですね)人は、ほんと倒錯しているよね
>なんにも分ってない
>タルスキ・グロタンディーク集合論は、いくつかの自動証明システムで使用される集合論の公理的扱いであり、すべての集合がグロタンディーク宇宙に属する。
分かってないのは君。
「すべての集合がグロタンディーク宇宙に属する」を
「すべての集合がひとつのグロタンディーク宇宙に属する」と誤読している。
ここでいうグロタン宇宙は単一のものではなく、いかなる集合に対してもそれを元として持つグロタン宇宙が存在する、つまり宇宙公理のことを言っている。
そしてZFCのモデルであるようないかなるグロタン宇宙も整礎集合であるからその全体であるノイマン宇宙の元である。

数学板で発言するなら少しは勉強しような。嫌ならROMれ。