Inter-universal geometry と ABC予想 (応援スレ) 73

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

957: 08/22(金)09:03 ID:qkcuzqcJ(1/3) AAS
＞形式的に書くと、次のような集合Wが一意に存在することを示したい。
＞∀x(x∈W↔∀I((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈I)) (*)

どうぞ、ご随意に

できる？君

958: 08/22(金)09:05 ID:qkcuzqcJ(2/3) AAS
＞存在については、無限公理と分出公理を使って証明する。

どうぞ、ご随意に

できる？君

959: 08/22(金)09:06 ID:qkcuzqcJ(3/3) AAS
＞Iを無限公理によって保証された帰納的集合とする。

一行で終わり。

無限公理に関するところがこれだけって、わかる？君