[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新

---

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

---

441(1): 01/19(日)14:48 ID:xK12QWtu(5/18) AAS
>>427
> 292の証明は、整列定理から作った特別な選択函数を用いれば成立する
> ということは分かりますかね？
　なるほど　X＝Nとして
　∀Y⊂N.((Y≠{})⇒∀n∈Y.(f(Y)≦n))
　Yにnより小さい元があればf(Y)<n
　Yにnより小さい元がなければf(Y)=n

　Jechの証明のfから上記の性質を持つfに改造できればいいってことで
　多分いろいろやり方はありそうだけ
　（たとえばfが半順序になるところまでなんとか持って行って
省7

---

上下前次1-新書関写板覧索設栞歴

---

あと 561 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.021s