「名誉教授」のスレ 9
806132人目の素数さん
2026/11/05(木) 08:05:30.13ID:PMYvj55i 秩序の○ニスで○ギナを満たしたい人って沢山いるんだなぁ
807132人目の素数さん
2026/11/05(木) 09:17:48.30ID:fZnobVNl ガロアスレのアホな仲間たち
808132人目の素数さん
2026/11/05(木) 09:40:04.61ID:fZnobVNl Google、130万台以上のセットトップボックスの悪用に使われていた「XCPE」バックドアをテイクダウン
Internet Watch
中国Videostrongでは提携している犯罪グループにXCPEに感染したデバイスへのアクセス権を販売していた
Internet Watch
中国Videostrongでは提携している犯罪グループにXCPEに感染したデバイスへのアクセス権を販売していた
809132人目の素数さん
2026/11/05(木) 09:59:13.03ID:JinaVJvS 中国がクレイジーだとしても
日本がクレイジーでないことの
証明にはならないが、それ分かる?
日本がクレイジーでないことの
証明にはならないが、それ分かる?
810132人目の素数さん
2026/11/05(木) 10:42:59.25ID:VpvqDZvi >>805-806
>素人トンデモの波も崩れ去るといいね
>秩序の○ニスで○ギナを満たしたい人って沢山いるんだなぁ
ご苦労様です スレ主です
1)上記1行目で、典型は下記だね。チャッピーがハルシってることは、薄葉藤田を読めばわかる
読めばわかるが、”これハルシ?” なんかヘンだよね? という気づきが大事だと思うよ
これからの数学の教育の課題なのだろう
2)古代ギリシャ 下記ソクラテスは いろんな人に議論をふっかけて あげく死刑判決
”『ソクラテスの弁明』この告発に対しソクラテスは全面的に反論し、いささかの妥協も見せない。その結果ソクラテスには死刑が宣告された”
これが民主主義の原点だろう
そして、数学も同じ。間違いは間違い。なんの妥協の必要があるのか?w(^^
(参考)
「到達不能基数・巨大基数研究」スレより
https://rio2016.5ch.io/test/read.cgi/math/1791259233/409
質問者:
Vをノイマン宇宙、κを到達不能基数とします。
ある人物が V⊂Vκ だというんですが、正しいですか?
ChatGPT:
いいえ、通常の集合論の意味では V⊂Vκ は正しくありません。
むしろ、Vκ⊊V です。
理由
フォン・ノイマン宇宙 V と、到達不能基数 κ に対する累積階層 Vκ を考えます。
V=⋃(α∈Ord)Vα
ここで、Vκ=⋃(α<κ)Vα です。
つまり、
Vκ は階数が κ 未満の集合全体からなる集合であり、
V はすべての集合からなる真クラスです。
したがって、Vκ⊊V となります。
なぜ逆向きの包含も成り立たないのか
たとえば、κ 自身を考えます。
rank(κ)=κ
したがって、κ∉Vκ ですが、もちろん κ∈V です。
よって、V⊈Vκ です。
到達不能基数であることの意味
κ が到達不能基数であることから、Vκ は ZFC のモデルになります
(通常の ZFC を仮定し、κ が非可算の強到達不能基数である場合)。
しかし、これは Vκ=V や V⊆Vκ を意味しません。
Vκ は集合ですが、V は真クラスだからです。
結論: その人物が通常の意味で V⊆Vκ と主張しているなら、誤りです。
正しい関係は Vκ⊊V です。
(引用終り)
https://rio2016.5ch.io/test/read.cgi/math/1791259233/614
https://www.tenasaku.com/academia/notes/UsubaFujita_JSPS2012.pdf
【論文】科学基礎論研究Vol.39, No.2 (2012) 33〜42
現代集合論における巨大基数
薄葉季路∗ 藤田博司∗∗
https://ja.wikipedia.org/wiki/%E3%82%BD%E3%82%AF%E3%83%A9%E3%83%86%E3%82%B9%E3%81%AE%E5%BC%81%E6%98%8E
『ソクラテスの弁明』
この告発に対しソクラテスは全面的に反論し、いささかの妥協も見せない。その結果ソクラテスには死刑が宣告された。
>素人トンデモの波も崩れ去るといいね
>秩序の○ニスで○ギナを満たしたい人って沢山いるんだなぁ
ご苦労様です スレ主です
1)上記1行目で、典型は下記だね。チャッピーがハルシってることは、薄葉藤田を読めばわかる
読めばわかるが、”これハルシ?” なんかヘンだよね? という気づきが大事だと思うよ
これからの数学の教育の課題なのだろう
2)古代ギリシャ 下記ソクラテスは いろんな人に議論をふっかけて あげく死刑判決
”『ソクラテスの弁明』この告発に対しソクラテスは全面的に反論し、いささかの妥協も見せない。その結果ソクラテスには死刑が宣告された”
これが民主主義の原点だろう
そして、数学も同じ。間違いは間違い。なんの妥協の必要があるのか?w(^^
(参考)
「到達不能基数・巨大基数研究」スレより
https://rio2016.5ch.io/test/read.cgi/math/1791259233/409
質問者:
Vをノイマン宇宙、κを到達不能基数とします。
ある人物が V⊂Vκ だというんですが、正しいですか?
ChatGPT:
いいえ、通常の集合論の意味では V⊂Vκ は正しくありません。
むしろ、Vκ⊊V です。
理由
フォン・ノイマン宇宙 V と、到達不能基数 κ に対する累積階層 Vκ を考えます。
V=⋃(α∈Ord)Vα
ここで、Vκ=⋃(α<κ)Vα です。
つまり、
Vκ は階数が κ 未満の集合全体からなる集合であり、
V はすべての集合からなる真クラスです。
したがって、Vκ⊊V となります。
なぜ逆向きの包含も成り立たないのか
たとえば、κ 自身を考えます。
rank(κ)=κ
したがって、κ∉Vκ ですが、もちろん κ∈V です。
よって、V⊈Vκ です。
到達不能基数であることの意味
κ が到達不能基数であることから、Vκ は ZFC のモデルになります
(通常の ZFC を仮定し、κ が非可算の強到達不能基数である場合)。
しかし、これは Vκ=V や V⊆Vκ を意味しません。
Vκ は集合ですが、V は真クラスだからです。
結論: その人物が通常の意味で V⊆Vκ と主張しているなら、誤りです。
正しい関係は Vκ⊊V です。
(引用終り)
https://rio2016.5ch.io/test/read.cgi/math/1791259233/614
https://www.tenasaku.com/academia/notes/UsubaFujita_JSPS2012.pdf
【論文】科学基礎論研究Vol.39, No.2 (2012) 33〜42
現代集合論における巨大基数
薄葉季路∗ 藤田博司∗∗
https://ja.wikipedia.org/wiki/%E3%82%BD%E3%82%AF%E3%83%A9%E3%83%86%E3%82%B9%E3%81%AE%E5%BC%81%E6%98%8E
『ソクラテスの弁明』
この告発に対しソクラテスは全面的に反論し、いささかの妥協も見せない。その結果ソクラテスには死刑が宣告された。
811132人目の素数さん
2026/11/05(木) 10:51:36.78ID:fZnobVNl 「宇宙レーザー不発」と730億円投じたマスク、民主党圧勝にビリオネアら反応 AI・テック投資家は将来悲観
ザマー
ザマー
812132人目の素数さん
2026/11/05(木) 11:17:12.30ID:/OALSpFO813132人目の素数さん
2026/11/05(木) 11:22:24.49ID:/OALSpFO >>804
>右派が台頭してきた自国を意識し「極右の波は崩れ去りつつある」とSNSに投稿した。
共和党の敗北は関税と戦争による経済の失敗が根本原因なので、右派とか左派とか関係
ないんだけど、何を勘違いしてんだろうね
サンチェスの藁にもすがる気持ちはわからんでもないがw
>右派が台頭してきた自国を意識し「極右の波は崩れ去りつつある」とSNSに投稿した。
共和党の敗北は関税と戦争による経済の失敗が根本原因なので、右派とか左派とか関係
ないんだけど、何を勘違いしてんだろうね
サンチェスの藁にもすがる気持ちはわからんでもないがw
814132人目の素数さん
2026/11/05(木) 11:22:37.93ID:JfHsJdlB (彼の人はルサンチマンの塊なんですね)
815132人目の素数さん
2026/11/05(木) 11:27:09.93ID:/OALSpFO >>809
>中国がクレイジーだとしても
その証明ができていれば十分だろう
日本がクレイジーかどうかはどうでもよい
君は、キチガイの隣人にどう向き合うかを考える際に
自分がキチガイかどうかを気にするのかね?
>中国がクレイジーだとしても
その証明ができていれば十分だろう
日本がクレイジーかどうかはどうでもよい
君は、キチガイの隣人にどう向き合うかを考える際に
自分がキチガイかどうかを気にするのかね?
816132人目の素数さん
2026/11/05(木) 11:28:20.51ID:raSbi5kN817132人目の素数さん
2026/11/05(木) 11:30:15.47ID:raSbi5kN818132人目の素数さん
2026/11/05(木) 11:32:09.68ID:RTQsL/yn819132人目の素数さん
2026/11/05(木) 12:18:23.34ID:YuFI5SWl 人のふり見て
820132人目の素数さん
2026/11/05(木) 12:30:30.23ID:YuFI5SWl 隣の芝
821132人目の素数さん
2026/11/05(木) 12:47:01.41ID:fZnobVNl ヘグセス国防長官の「交代是非」相談か トランプ氏、中間選挙大敗受けてイラン攻撃責任
予備的恩赦か
予備的恩赦か
822132人目の素数さん
2026/11/05(木) 13:40:05.36ID:VpvqDZvi >>813
>>右派が台頭してきた自国を意識し「極右の波は崩れ去りつつある」とSNSに投稿した。
>共和党の敗北は関税と戦争による経済の失敗が根本原因なので、右派とか左派とか関係
>ないんだけど、何を勘違いしてんだろうね
>サンチェスの藁にもすがる気持ちはわからんでもないがw
1)そこ 長くなるが引用すると 下記だね
『米中間選挙で与党・共和党の大敗が確実となり、トランプ米政権との対話に苦戦してきた欧州と中南米の首脳らが相次ぎ反応した。スペインのサンチェス首相は右派が台頭してきた自国を意識し「極右の波は崩れ去りつつある」とSNSに投稿した。
スペインは11月に総選挙を予定する。サンチェス氏は米選挙や、左派の現職ルラ大統領が右派の新鋭を破った10月のブラジル大統領選の結果を念頭に「スペインでも(同様の動きが)起きるだろう」と述べた』
2)要するに、スペインのサンチェス首相の藁人形論法:
トランプのやり方を 右派と規定して 11月スペイン総選挙の国内右派に一撃を加えたんだ
3)さて、トランプさんのやり口:
・アメリカ ファースト!
・国際秩序無視:宣戦布告なしでイラン攻撃、赤根智子ICCを攻撃などなど
・人種と宗教差別:イスラエル=ユダヤ善、イラン=イスラム悪
4)歴史的な極右 ナチス ヒットラー:
・ドイツ 第三帝国を作るのだ!
・国際秩序無視:ヨーロッパ全土へ進軍・進撃した
・人種差別:ドイツ人が善、ユダヤ人は悪
5)多分だが スペインのサンチェスさんの考え:
・国際協調:国際秩序を重視しよう(自国第一でみんな言い出したら収拾不能だ)
・国際協調の中で、スペインの繁栄を考えよう(極右やめよう)
で、高市さん の売り:
”おいらは 靖国参拝と 中国共産敵視と 男系男子! ”なのでしょうね
トランプさんが 11月中間テストで合格していれば 高市さんのウリが通用したろう
が 残念ながら 11月中間テストで トランプさん大惨敗した
はてさて これからどうなるか?だなw (^^
>>右派が台頭してきた自国を意識し「極右の波は崩れ去りつつある」とSNSに投稿した。
>共和党の敗北は関税と戦争による経済の失敗が根本原因なので、右派とか左派とか関係
>ないんだけど、何を勘違いしてんだろうね
>サンチェスの藁にもすがる気持ちはわからんでもないがw
1)そこ 長くなるが引用すると 下記だね
『米中間選挙で与党・共和党の大敗が確実となり、トランプ米政権との対話に苦戦してきた欧州と中南米の首脳らが相次ぎ反応した。スペインのサンチェス首相は右派が台頭してきた自国を意識し「極右の波は崩れ去りつつある」とSNSに投稿した。
スペインは11月に総選挙を予定する。サンチェス氏は米選挙や、左派の現職ルラ大統領が右派の新鋭を破った10月のブラジル大統領選の結果を念頭に「スペインでも(同様の動きが)起きるだろう」と述べた』
2)要するに、スペインのサンチェス首相の藁人形論法:
トランプのやり方を 右派と規定して 11月スペイン総選挙の国内右派に一撃を加えたんだ
3)さて、トランプさんのやり口:
・アメリカ ファースト!
・国際秩序無視:宣戦布告なしでイラン攻撃、赤根智子ICCを攻撃などなど
・人種と宗教差別:イスラエル=ユダヤ善、イラン=イスラム悪
4)歴史的な極右 ナチス ヒットラー:
・ドイツ 第三帝国を作るのだ!
・国際秩序無視:ヨーロッパ全土へ進軍・進撃した
・人種差別:ドイツ人が善、ユダヤ人は悪
5)多分だが スペインのサンチェスさんの考え:
・国際協調:国際秩序を重視しよう(自国第一でみんな言い出したら収拾不能だ)
・国際協調の中で、スペインの繁栄を考えよう(極右やめよう)
で、高市さん の売り:
”おいらは 靖国参拝と 中国共産敵視と 男系男子! ”なのでしょうね
トランプさんが 11月中間テストで合格していれば 高市さんのウリが通用したろう
が 残念ながら 11月中間テストで トランプさん大惨敗した
はてさて これからどうなるか?だなw (^^
823132人目の素数さん
2026/11/05(木) 14:04:44.88ID:VpvqDZvi >>810 補足するよ
(引用開始)
1)上記1行目で、典型は下記だね。チャッピーがハルシってることは、薄葉藤田を読めばわかる
読めばわかるが、”これハルシ?” なんかヘンだよね? という気づきが大事だと思うよ
これからの数学の教育の課題なのだろう
(参考)
「到達不能基数・巨大基数研究」スレより
https://rio2016.5ch.io/test/read.cgi/math/1791259233/409
(抜粋)
質問者:
Vをノイマン宇宙、κを到達不能基数とします。
ある人物が V⊂Vκ だというんですが、正しいですか?
ChatGPT:
いいえ、通常の集合論の意味では V⊂Vκ は正しくありません。
むしろ、Vκ⊊V です。
結論: その人物が通常の意味で V⊆Vκ と主張しているなら、誤りです。
正しい関係は Vκ⊊V です。
(引用終り)
https://rio2016.5ch.io/test/read.cgi/math/1791259233/614
https://www.tenasaku.com/academia/notes/UsubaFujita_JSPS2012.pdf
【論文】科学基礎論研究Vol.39, No.2 (2012) 33〜42
現代集合論における巨大基数
薄葉季路∗ 藤田博司∗∗
(引用終り)
1)チャッピーさんが、ハルシっている理由は 数学史が分かっていないので
集合とクラスの境目は ベースの公理に依存するという根本が理解できていないってことだ
つまり、集合とクラスの境目は 文献によって異なる
そこを混ぜてしまうと ハルシになる
2)数学史の順は
i)カントールが、無限集合論を 公理系を使わず構築した
ii)ラッセルが ラッセルパラドックスを見出した
iii)無限集合論を 公理化して 集合とクラスを分けて 集合概念を制限しようとなった
iV)ZFCは、カントールの無限集合論を再現できる 多分一番簡素な公理系だろう
v)ZFCを拡張して もっと多くの(巨大)集合を考えようという人が出てきた
その一つの大きな理由が、「ZFCは無矛盾か?」(パラドックスは起きない?)だ
(ゲーデル不完全性定理より ZFCの無矛盾を考えるには ZFCより大きな公理系が必要だ)
vi)つまり、ZFCを拡張して 巨大集合を考えて 矛盾が起きないのか?
(矛盾が起きないなら ZFCでも矛盾は起きない!)
vii)このとき ZFCでは集合にはできない 大きな集まりを集合とする公理を導入することになる
その一例が 到達不能基数κであり グロタンディーク宇宙公理です■
3)この話は 2026年現在の上記のチャッピーさんには理解できていないだろう
来年はしらんけどw(^^
(引用開始)
1)上記1行目で、典型は下記だね。チャッピーがハルシってることは、薄葉藤田を読めばわかる
読めばわかるが、”これハルシ?” なんかヘンだよね? という気づきが大事だと思うよ
これからの数学の教育の課題なのだろう
(参考)
「到達不能基数・巨大基数研究」スレより
https://rio2016.5ch.io/test/read.cgi/math/1791259233/409
(抜粋)
質問者:
Vをノイマン宇宙、κを到達不能基数とします。
ある人物が V⊂Vκ だというんですが、正しいですか?
ChatGPT:
いいえ、通常の集合論の意味では V⊂Vκ は正しくありません。
むしろ、Vκ⊊V です。
結論: その人物が通常の意味で V⊆Vκ と主張しているなら、誤りです。
正しい関係は Vκ⊊V です。
(引用終り)
https://rio2016.5ch.io/test/read.cgi/math/1791259233/614
https://www.tenasaku.com/academia/notes/UsubaFujita_JSPS2012.pdf
【論文】科学基礎論研究Vol.39, No.2 (2012) 33〜42
現代集合論における巨大基数
薄葉季路∗ 藤田博司∗∗
(引用終り)
1)チャッピーさんが、ハルシっている理由は 数学史が分かっていないので
集合とクラスの境目は ベースの公理に依存するという根本が理解できていないってことだ
つまり、集合とクラスの境目は 文献によって異なる
そこを混ぜてしまうと ハルシになる
2)数学史の順は
i)カントールが、無限集合論を 公理系を使わず構築した
ii)ラッセルが ラッセルパラドックスを見出した
iii)無限集合論を 公理化して 集合とクラスを分けて 集合概念を制限しようとなった
iV)ZFCは、カントールの無限集合論を再現できる 多分一番簡素な公理系だろう
v)ZFCを拡張して もっと多くの(巨大)集合を考えようという人が出てきた
その一つの大きな理由が、「ZFCは無矛盾か?」(パラドックスは起きない?)だ
(ゲーデル不完全性定理より ZFCの無矛盾を考えるには ZFCより大きな公理系が必要だ)
vi)つまり、ZFCを拡張して 巨大集合を考えて 矛盾が起きないのか?
(矛盾が起きないなら ZFCでも矛盾は起きない!)
vii)このとき ZFCでは集合にはできない 大きな集まりを集合とする公理を導入することになる
その一例が 到達不能基数κであり グロタンディーク宇宙公理です■
3)この話は 2026年現在の上記のチャッピーさんには理解できていないだろう
来年はしらんけどw(^^
824132人目の素数さん
2026/11/05(木) 14:11:49.02ID:raSbi5kN >数学史が分かっていない
>集合とクラスの境目は ベースの公理に依存する
>という根本が理解できていない
>つまり、集合とクラスの境目は 文献によって異なる
>そこを混ぜてしまうと ハルシ(ネーション)
混ぜたのは君
他の誰でもない
Vκが集合だと証明できるのはZFC+κ
だからZFC+κのVの中にVκは含まれる
君がZFC+κでないZFCのVを混ぜて
ハルシネーションしてオウンゴール
>集合とクラスの境目は ベースの公理に依存する
>という根本が理解できていない
>つまり、集合とクラスの境目は 文献によって異なる
>そこを混ぜてしまうと ハルシ(ネーション)
混ぜたのは君
他の誰でもない
Vκが集合だと証明できるのはZFC+κ
だからZFC+κのVの中にVκは含まれる
君がZFC+κでないZFCのVを混ぜて
ハルシネーションしてオウンゴール
825132人目の素数さん
2026/11/05(木) 14:15:29.91ID:RTQsL/yn >数学史
>i)カントールが、無限集合論を 公理系を使わず構築した
じゃ無意味
>ii)ラッセルが ラッセルパラドックスを見出した
肝腎な情報が抜けたから×
ラッセルはフレーゲの体系の内包公理からパラドックスを導いた
フレーゲの体系、っていわないと×、院試落第
大学院不合格 御愁傷様
>iii)無限集合論を 公理化して 集合とクラスを分けて 集合概念を制限しようとなった
全然無関係
公理化はラッセルパラドックスと無関係
知らん奴はモグリ一般人
(つづく)
>i)カントールが、無限集合論を 公理系を使わず構築した
じゃ無意味
>ii)ラッセルが ラッセルパラドックスを見出した
肝腎な情報が抜けたから×
ラッセルはフレーゲの体系の内包公理からパラドックスを導いた
フレーゲの体系、っていわないと×、院試落第
大学院不合格 御愁傷様
>iii)無限集合論を 公理化して 集合とクラスを分けて 集合概念を制限しようとなった
全然無関係
公理化はラッセルパラドックスと無関係
知らん奴はモグリ一般人
(つづく)
826132人目の素数さん
2026/11/05(木) 14:16:39.81ID:fZnobVNl 元のスレに戻れ、カスども
827132人目の素数さん
2026/11/05(木) 14:21:22.26ID:CB5FQUPS >>825
>iv)ZFCは、カントールの無限集合論を再現できる 多分一番簡素な公理系だろう
一般人の感想 根拠ゼロ 無意味
>v)ZFCを拡張して もっと多くの(巨大)集合を考えようという人が出てきた
>その一つの大きな理由が、「ZFCは無矛盾か?」(パラドックスは起きない?)だ
全然ウソ
>(ゲーデル不完全性定理より ZFCの無矛盾を考えるには ZFCより大きな公理系が必要だ)
大きいとか強いとかいう言葉は無意味
ZFCに公理を追加する必要があるとだけいえばいい
>vi)つまり、ZFCを拡張して 巨大集合を考えて 矛盾が起きないのか?
>(矛盾が起きないなら ZFCでも矛盾は起きない!)
いまどき無矛盾性とか言ってるのは数学知らん一般人だけだからキレイサッパリ忘れな
>vii)このとき ZFCでは集合にはできない 大きな集まりを集合とする公理を導入することになる
誤 集合にはできない
正 集合として存在することが証明できない
両者は全く異なる 混同するのはモグリ一般人
>その一例が 到達不能基数κであり グロタンディーク宇宙公理です
到達不能基数の存在から、ZFCの無矛盾性が示せるので
ZFCから、到達不能基数の存在は証明できない
そういう証明 知らんのはモグリ一般人
>iv)ZFCは、カントールの無限集合論を再現できる 多分一番簡素な公理系だろう
一般人の感想 根拠ゼロ 無意味
>v)ZFCを拡張して もっと多くの(巨大)集合を考えようという人が出てきた
>その一つの大きな理由が、「ZFCは無矛盾か?」(パラドックスは起きない?)だ
全然ウソ
>(ゲーデル不完全性定理より ZFCの無矛盾を考えるには ZFCより大きな公理系が必要だ)
大きいとか強いとかいう言葉は無意味
ZFCに公理を追加する必要があるとだけいえばいい
>vi)つまり、ZFCを拡張して 巨大集合を考えて 矛盾が起きないのか?
>(矛盾が起きないなら ZFCでも矛盾は起きない!)
いまどき無矛盾性とか言ってるのは数学知らん一般人だけだからキレイサッパリ忘れな
>vii)このとき ZFCでは集合にはできない 大きな集まりを集合とする公理を導入することになる
誤 集合にはできない
正 集合として存在することが証明できない
両者は全く異なる 混同するのはモグリ一般人
>その一例が 到達不能基数κであり グロタンディーク宇宙公理です
到達不能基数の存在から、ZFCの無矛盾性が示せるので
ZFCから、到達不能基数の存在は証明できない
そういう証明 知らんのはモグリ一般人
828132人目の素数さん
2026/11/05(木) 14:23:30.54ID:YuFI5SWl ハナモゲラ語
829132人目の素数さん
2026/11/05(木) 15:53:33.49ID:VpvqDZvi >>824
(引用開始)
Vκが集合だと証明できるのはZFC+κ
だからZFC+κのVの中にVκは含まれる
君がZFC+κでないZFCのVを混ぜて
ハルシネーションしてオウンゴール
(引用終り)
あとは「到達不能基数・巨大基数研究」スレ
https://rio2016.5ch.io/test/read.cgi/math/1791259233/1-
へ戻るが
・下記 フォン・ノイマン宇宙より
「κ が到達不能基数ならば、VκはZFCのモデルである。そして、Vκ+1はモース-ケリー集合論のモデルである」
とある
・つまり、公理として 到達不能基数κを導入すれば その次のκ+1も考えれられる
(例えば、集合として κがあれば そのべき集合 2^κも ZFC公理上可能だ!w )
・つまり、Vκよりも大きいκ+1も考えられて その次も考えられるってことだねw
では、続きは 「到達不能基数・巨大基数研究」スレでw(^^
(参考)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙
Vと集合論
κ が到達不能基数ならば、VκはZFCのモデルである。そして、Vκ+1はモース-ケリー集合論のモデルである。
(引用開始)
Vκが集合だと証明できるのはZFC+κ
だからZFC+κのVの中にVκは含まれる
君がZFC+κでないZFCのVを混ぜて
ハルシネーションしてオウンゴール
(引用終り)
あとは「到達不能基数・巨大基数研究」スレ
https://rio2016.5ch.io/test/read.cgi/math/1791259233/1-
へ戻るが
・下記 フォン・ノイマン宇宙より
「κ が到達不能基数ならば、VκはZFCのモデルである。そして、Vκ+1はモース-ケリー集合論のモデルである」
とある
・つまり、公理として 到達不能基数κを導入すれば その次のκ+1も考えれられる
(例えば、集合として κがあれば そのべき集合 2^κも ZFC公理上可能だ!w )
・つまり、Vκよりも大きいκ+1も考えられて その次も考えられるってことだねw
では、続きは 「到達不能基数・巨大基数研究」スレでw(^^
(参考)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙
Vと集合論
κ が到達不能基数ならば、VκはZFCのモデルである。そして、Vκ+1はモース-ケリー集合論のモデルである。
830132人目の素数さん
2026/11/05(木) 15:58:56.04ID:VpvqDZvi831132人目の素数さん
2026/11/05(木) 16:19:12.28ID:BW2rbN8K (彼の人は自分の建てたスレに書き込みがあるのが至上の喜びらしいね)
832132人目の素数さん
2026/11/05(木) 16:19:36.08ID:/OALSpFO >>817
アホなおまえのために、もう少しわかりやすく書き換えてやるよ
議員をランダム抽出すれば民主的ってことにはならんのだよ
なぜなら、選挙は自分の代理人を選ぶことではないのだから
おまえは民主政治の意味を履き違えてる
これで分かっただろうから、死ぬほど自省しなさいw
これで分からなければ、死ぬまで自省しなさいw
アホなおまえのために、もう少しわかりやすく書き換えてやるよ
議員をランダム抽出すれば民主的ってことにはならんのだよ
なぜなら、選挙は自分の代理人を選ぶことではないのだから
おまえは民主政治の意味を履き違えてる
これで分かっただろうから、死ぬほど自省しなさいw
これで分からなければ、死ぬまで自省しなさいw
833132人目の素数さん
2026/11/05(木) 16:20:56.51ID:BW2rbN8K テンプレです
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
> 純粋・応用数学・数学隣接分野(含むガロア理論)21 (816)
> ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
> の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね
>・箱入り無数目 は、私が立てた
>・IUTのシン応援スレも 私
>・各種ガロアスレのうち
> 純粋・応用数学・数学隣接分野(含むガロア理論)21 (816)
> ガロア第一論文と乗数イデアル他関連資料スレ19 (247)
> の2つは私が立てた
>
>因みに、下記の数学勢いランキング
>1〜11で 4、5、7、10の4つを除く
>7個は 全部私が立てたんだよね
834132人目の素数さん
2026/11/05(木) 16:22:49.07ID:/OALSpFO835132人目の素数さん
2026/11/05(木) 16:23:14.82ID:BW2rbN8K (κもκ+も2^κも「集合」すなわちVの元)
836132人目の素数さん
2026/11/05(木) 16:24:33.29ID:/OALSpFO837132人目の素数さん
2026/11/05(木) 16:25:29.39ID:BW2rbN8K (数学者は数学史を知らなくていいのにね)
838132人目の素数さん
2026/11/05(木) 16:26:23.44ID:/OALSpFO まったくだ
839132人目の素数さん
2026/11/05(木) 16:32:16.52ID:fZnobVNl 瀬田爺さんはもちろん数学史も知らないと思うよ、ただコピペするだけ
レスを投稿する
ニュース
- 新語・流行語大賞ノミネート語発表「好きすぎて滅!」「ちいかわ(現象)」「モナキ」「りくりゅう」など WBC、W杯は選外 [Ailuropoda melanoleuca★]
- 【不正アクセス】ドコモで不正アクセスか 5日午前1時すぎから緊急メンテナンス [ぐれ★]
- 【2026流行語大賞】「酷暑日」「AI暴走」「スマホ農場」「りくりゅう」「フレネミー」「好きすぎて、滅!」候補30語を発表 [煮卵★]
- MAGAの終わり? 米中間選挙の大惨敗で右派に動揺、「トランプ後」を模索 関心は“2028年大統領選”に [煮卵★]
- 【速報】 トヨタ、半年で売上 26兆9624億円(+9.5%) 利益 2兆1911億円 (+9.2%) 中間決算、ハイブリッド車など好調 [お断り★]
- 《「非常に失礼な行為」と批判も》女性声優の“顔を黒塗り”コスプレが「黒人差別ではないか」と国境を越えて物議… [Ailuropoda melanoleuca★]
- 日経平均終値4営業日連続下落、5か月半ぶりの安値水準…1110円安の6万1077円 [347656489]
- 高市総理、COP31首脳級会合を欠席へ [347656489]
- トランプ大統領、米中露首脳会談を予定wwwwwwwwwwwwwwwwwwww [668024367]
- 【動画】米国、元財務省次官補佐官「新型コロナはアメリカが管理するウクライナの生物研究所で作られ、武漢に持ち込まれた」 ★3 [624898991]
- NTTドコモ、不正アクセスか [668024367]
- 【訃報】嫌儲、死去 [668024367]