[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
64(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/28(月)21:10 ID:DgNswCrs(1) AAS
>>63
ゴキブリくんは、あたま悪いなｗ ；ｐ）
下記の
１）の ω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は無限公理により存在する集合を任意に選んだ
この二つは、ZF公理系では 全く別物だよ
省28
66(1): 07/28(月)21:44 ID:0TeRvI4n(6/7) AAS
おっと、アンかミスった。>>64の雑談とかいう無教養なチンピラへのレス、ね。
69(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/29(火)12:08 ID:0DBEJBDg(1/2) AAS
>>65-68
ゴキブリくん、元気だね
ゴキブリくんは、道端に落ちていた >>64の ja.wikipedia
”ペアノの公理 自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} ”外部ﾘﾝｸ:ja.wikipedia.org
にえらくご執心だが
ja.wikipedia なんて だれが書いたか不明で 転記ミスもあるかもｗ
省36
75(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/29(火)20:29 ID:7CXjMyGa(1/2) AAS
>>71-74
ゴキブリくん、元気だね
ゴキブリくんは、道端に落ちていた >>64の ja.wikipedia
”ペアノの公理 自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} ”外部ﾘﾝｸ:ja.wikipedia.org
にえらくご執心だが
ja.wikipedia なんて だれが書いたか不明で 転記ミスもあるかもｗ
省24
97(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)07:14 ID:ZOjwMpAx(1/6) AAS
>>92
>>>90-91で引用されている内容って、>>77（の前半）と別に矛盾しないのでは。
ありがとう
矛盾はしないとしても
ポイントは、>>91 尾畑研 第2章 集合
"ラッセルのパラドックスは集合論の矛盾を突いているように見えるが
今日から見れば何が集合であり何が集合でないのかを設定し切れていなかったということである
省36
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s