探検


スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8w)

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

数学板で発言するなら少しは勉強しような。嫌ならROMれ。
748132人目の素数さん
垢版 |
2026/09/19(土) 02:48:16.33ID:sfXO6zy4
そもそも
「すべての集合がひとつのグロタンディーク宇宙に属する」
を認めるならグロタン宇宙は非整礎でないといけない。実際、グロタン宇宙は集合だから自分が自分に属すことになる。
そこで「おかしいな」と思わない君、数学の才能ゼロだね
レスを投稿する


ニューススポーツなんでも実況