[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
68(1): 07/29(火)10:06 ID:ggOSvtF9(1/7) AAS
厚顔無恥な無教養チンピラ雑談
さすがに今回ばかりはこっ恥ずかしくなったかｗ
一生黙ってていいよ 数学板に君みたいなチンピラは不要だから
71(1): 07/29(火)13:41 ID:ggOSvtF9(2/7) AAS
>>69
>３）一方、集合族{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}とは ？
> これは 冪集合公理を使っていないから 非可算の族ではないよね
はい、大間違いです。
べき集合の公理を使ってるか否かはまったく関係無い。
実際、∀x(x∈P(A)⇔x⊂A) だから、ωaが非可算ならNも非可算。
>冪集合公理を使わずに 非可算の族が出せならば、冪集合公理は不要になる！
省21
72(1): 07/29(火)13:49 ID:ggOSvtF9(3/7) AAS
無教養チンピラ雑談くん、君、口を開けば間違いだらけだね。
連日連夜赤っ恥のかき通しで慣れっ子になっちゃった？ 少しは恥を知った方が良いと思うよ
73(1): 07/29(火)13:54 ID:ggOSvtF9(4/7) AAS
>ωaが非可算ならNも非可算。
訂正
a^が非可算なら{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}も非可算。
>１）の ω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は無限公理により存在する集合を任意に選んだ
74(1): 07/29(火)14:28 ID:ggOSvtF9(5/7) AAS
まあ
>ωaが非可算ならNも非可算。
も間違いではないけどね。前件が恒偽の含意は恒真だからｗ
77(4): 07/29(火)22:28 ID:ggOSvtF9(6/7) AAS
>>75
>・無制限な集合概念の拡大の公理による抑制の一つが、無限公理であり また冪集合公理なのだ
はい、大間違いです。
内包公理の存在がラッセルのパラドックスの直接原因。抑制はもっぱら内包公理の排除による。
内包公理に代わる公理が分出公理。（なぜ分出公理はラッセルのパラドックスを起こさないか分かるかい？）
分出公理から導出できない対の公理、和集合の公理、べき集合の公理、無限公理が別に必要となった。（なぜこれらの公理の導出が内包公理からはでき、分出公理からはできないか分かるかい？）
さらに標準的なZFでは分出公理に代えて置換公理を採用する。その際置換公理から導出できない空集合の公理が別に必要となる。（なぜ空集合の公理の導出が分出公理からはでき、置換公理からはできないか分かるかい？）
省12
78: 07/29(火)22:51 ID:ggOSvtF9(7/7) AAS
ということで、今日もまた大惨敗の無教養チンピラ雑談くんでしたとさ ちゃんちゃん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s