TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
数学学習法
モンティホールの問題で絶対選び直す奴www
現代数学の系譜 カントル 超限集合論2
皆本健太郎の東方project
現代数学の系譜 工学物理雑談 古典ガロア理論も読む53
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
【親切】理想の質問【丁寧】パート❷
分からない問題はここに書いてね453
数学記号を考案・改良するスレ
世界史的数学難問を解いた佐野千遥を語るスレ
- 175 ：
- >>169 追加
(引用開始)
私はあなたのいうおサルさんではありませんが、私もあなたのいうΩはZFCに反すると思ってます。
もちろん私は私なりに数学を懸命に勉強してきたつもりではありますが、間違いをすることもあるので絶対にないとは断言しませんが、
やはりあなたのいうΩは正則性の公理に反しています。
(引用終り)
ここ、初学者も見ているだろうから（＾＾
下記をば
「正則性公理
以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。
・V=WF
ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。 」
とあるから、「正則性の公理に反しています」は、ムリゲーじゃない？
特に、”超限回繰り返して”って書かれているからね
（参考）
https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86
正則性公理
(抜粋)
ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。
選択公理と同様、様々な同値な命題が存在する。
定義
空でない集合は必ず自分自身と交わらない要素を持つ。
∀ A(A≠ Φ → ∃ x∈ A∀ t∈ A(t not∈ x))
以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。
・任意の空でない集合xに対して、∃y∈x,x∩y=0
・∀xについて、∈がx上well-founded
・∀xについて、無限下降列である x∋x_1∋ x_2∋ ... は存在しない。
・V=WF
ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。
ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。
松坂君の日記
面白い問題おしえて〜な 32問目
不等式への招待 第10章
数学者ほどかっこいい職業あんの？
数学者になりたいけど無理そうだったらAIに携わる仕事に就きたい場合数学科は良い選択ですか？
0.999...は1じゃないことを数学的に厳密に証明したったｗｗｗｗ パゲェヤァああｗｗ
Inter-universal geometry と ABC予想 (応援スレ) 44
高校数学の質問スレPart404
数学力と文章力にはなにか関係があるのか。
数学の本 第83巻
--------------------
星野源の噂395
ロト6 その682
【日テレ日22時半】シロでもクロでもない世界で、パンダは笑う。part4【清野菜名・横浜流星】
【ガンホー】ケリ姫スイーツ【309ケリ目】
民進党党内政局総合スレッド265
S.H.フィギュアーツ DBシリーズ専用スレ Vol.1
【讃岐釜揚げうどん】丸亀製麺33杯目【トリドール】
(DDR)AC版DanceDanceRevolution A20 Part346
氏んでほしい奴の名前を晒すスレ102
【紫陽花】あじさい【アジサイ】
平成２９年４月採用 北海道職員になろう（６次募集）
配布・配信情報 Part73
D3大竹ひとみ、左手薬指に指輪
和遥キナ2
ﾌｧｲｱｰｴﾑﾌﾞﾚﾑ覚醒のヴィオールは貴族的かわいい
けものフレンズ【2】508人目
毒キノコ情報総合スレ
【ルアー】カラーについて語るスレ 6【ワーム】
☆実況TBSニュースバードPart519 2018/7/5
GLAY統一スレ854
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
