[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
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
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s