[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
960(1): 08/22(金)09:12 ID:EqzHJSfS(3/8) AAS
>>942
>W′を別の帰納的集合とすると
は間違い。
実際、{{{}}}∈W' なら W≠W' だから、W'が帰納的集合というだけでは W=W' は言えない。
「∀x(x∈W'↔∀I(Φ(I)→x∈I)) とすると」
に修正すれば正しい。
なぜならWが帰納的集合だから、∀x(x∈W'⇒x∈W) すなわち W'⊂W が言え、∀x(x∈W↔∀I(Φ(I)→x∈I)) からWとW'を入れ替えて同じことが言えるから。
省1
964: 08/22(金)09:25 ID:EzerkUp9(1/3) AAS
>W′を別の帰納的集合とすると、
>Wが帰納的であるため
>W′⊆Wが成り立ち、
>W′が帰納的であることから
>W⊆W′も成り立つ。
>よってW=W′。
>>960の指摘の通り
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s