Inter-universal geometry と ABC予想 (応援スレ) 73 (735ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
220(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/02(土)10:27 ID:WzsFWnhL(1/11) AAS
>>219
そのURL は
詩想社刊 絶対「謝らない人」
自らの非をけっして認めない人たちの心理
榎本 博明（著）
新書判 200ページ 2025年6月3日 発売
内容紹介
省49
221: 08/02(土)10:42 ID:E5xLBw1U(2/23) AAS
>>220
>記号∩を使う問題点は
>１）記号∩自身は、ZFCの公理ではない（和集合の公理はあるが）
分出公理から導出されるから何の問題も無い。君が分かってないだけのこと。
>２）記号∩を使った式から、きちんと ”公理のみを使って 如何に集合Nを取り出すか？”の証明が困難で面倒
なんとか先生のωと等しいことを証明済み。君が分かってないだけのこと。
>ゴキブリくんは、えらく 記号∩を使うことに執着しているｗ ；ｐ）
省1
226(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/02(土)11:26 ID:WzsFWnhL(2/11) AAS
補足 >>157で
(引用開始)
>>104より
１）の ωa ＝ ∩a^、 a^ ＝ {x ∈P(a) | M(x)}、P(a) は a の「冪集合」、「x は無限集合である」という命題を M(x)
２）の N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}、Aは無限公理により存在する集合を任意に選んだ
この二つの式で 前者１）の a^ ＝ {x ∈P(a) | M(x)} は、冪集合 P(a)の殆ど全てを渡る集合族である
∵ aは無限公理の一つの無限集合を選んだもので、P(a)は 非可算濃度以上で M(x)＝「x は無限集合である」だから
省36
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s