[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
73(1): ○○女子大数学科１年 04/22(火)06:28 ID:2aFpo5FF(1/5) AAS
>>72
> 自然数 で
> suc (a):=a ∪ {a} とするノイマンの構成では∈による推移関係が成り立つ 一方、
> suc(a) := {a} と定義するツェルメロの構成では ∈による推移関係は 不成立だが
> モストフスキ崩壊補題の系 7 により、ツェルメロの構成は ∈による推移的なM
>（推移的なノイマンの構成の順序数）と 順序同型になる
> 『系 7(集合版モストフスキ崩壊補題).
省14
75(1): ●●女子大数学科１年 04/22(火)07:55 ID:2aFpo5FF(2/5) AAS
>>74
>>モストフスキ崩壊補題なんて使わなくても直接示せるけどね
>”牛刀を用いて鶏を割く”だね。大定理の系として。
>一般に 集合の良い順序を ∈による推移的なM に落とせる
牛刀、使えてませんが
二項関係R、定義できてませんが
自覚、ありませんか？ボク
省15
80: ●●女子大数学科１年 04/22(火)09:04 ID:2aFpo5FF(3/5) AAS
>相変わらずコピペザルはぜんぜん分かってないね
うふ、大数童貞なのね かわいい
84: ●●女子大数学科１年 04/22(火)10:14 ID:2aFpo5FF(4/5) AAS
>>81
> 理系の女子大生には数理論理学に関心を持つ人は少なく
例外はいるけどね ジュリア・ロビンソンとか
> 恐らく男性だろうが、女性のマネが上手ではある
トランスジェンダーっていってほしいわねｗ
85(3): ●●女子大数学科１年 04/22(火)10:21 ID:2aFpo5FF(5/5) AAS
>>82
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
> ↓
>{} R {{}} R {{{}}} R {{{{}}}} R ・・・
>かように、∈→R と 記号を一般の順序記号Rに置換すればRについての 推移性 は、矛盾なく定義できる
>by 整列可能定理
三行目「かように…」はウソね 置換するだけでは推移性は定義できない
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s