[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
169(2): 08/01(金)01:00 ID:n2NtHms/(4/17) AAS
>>157
>a^ ＝ {x ∈P(a) | M(x)} は、冪集合 P(a)の殆ど全てを渡る集合族である
はい、大間違いです。
君、未だに帰納的集合が分かってないね。
帰納的集合aのすべての部分集合のうち帰納的集合であるものは圧倒的少数派。なぜなら帰納的集合は後者関数に関して閉じている必要があるから。
例として、前者を持たない（xを任意の元としてS(x)の形で表せない）元として{}と{{{}}}だけを持つ帰納的集合Bを考えた時、Bの部分集合は非可算個（Bは可算だからP(B)は非可算）あるが、
そのうち帰納的集合であるものはωとBの2個だけ。なぜなら「後者関数に関して閉じている」の制約により自由度は{{{}}}を持つか否かの2通りしか無いから。持たないものがω、持つものがB。
省1
172: 08/01(金)01:22 ID:n2NtHms/(6/17) AAS
>>169は一旦取り下げる
185(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)07:28 ID:3GStjv9j(3/5) AAS
>>169-170
(引用開始)
>{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}は、冪集合公理 P(A) を使っていない（使うと言ってない）
はい、大間違いです。
使うと言ってないからといって使っていないことにはならない。且つZF上では使ってよい。
(引用終り)
ふっふ、ほっほ
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s