[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
92(4): 04/23(水)07:23 ID:LnSdWTTF(1) AAS
>>85
(引用開始)
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
> ↓
>{} R {{}} R {{{}}} R {{{{}}}} R ・・・
>かように、∈→R と 記号を一般の順序記号Rに置換すればRについての 推移性 は、矛盾なく定義できる
>by 整列可能定理
省22
93(1): 04/23(水)07:56 ID:SjJOfWzv(1) AAS
>>92
おサル話法
>（誰某）は、（何々）に無知だね
>下記の（何々）を百回音読してね
１．おサルは他人にマウントしたがる
だから必ず「おまえは何々知らない」とマウントする
２．その癖、肝心の何々については、自分もわかってないから
省19
94(1): 04/23(水)10:29 ID:46VexLHs(2/11) AAS
>>92
>１）”自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる”とある
> 上記”{} R {{}} R {{{}}} R {{{{}}}} R ・・・”は、ツェルメロの順序数の構成>>82 だから、整列であることは 整列原理の通り
ツェルメロの自然数な。ツェルメロの自然数は順序数ではない。用語の定義を知らずに用語使うなバカ。
> 別に、”（選択公理に同値な）整列可能定理”によるとしてもよい
だからそれがバカだと何度言われるんだよ。いいかげん勉強しろ。
>２）”任意の集合が整列順序付け可能であること”は、整列可能定理で保証されている（選択公理を認めれば）
省8
107(1): 04/23(水)14:33 ID:OCyQxe6Y(3/5) AAS
>>93
(引用開始)
>”自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる”とある
>”{} R {{}} R {{{}}} R {{{{}}}} R ・・・”は、ツェルメロの順序数の構成だから、整列であることは 整列原理の通り
そのままでは２行目はアウトね
Ｒ＝∈なら、∈は順序の性質を満たさないから、順序数の構成ができてない
Ｒ≠∈なら、Ｒを具体的に定義せねば、順序数の構成ができてない
省38
109(1): 04/23(水)15:29 ID:46VexLHs(8/11) AAS
>>107
>３）つまり、>>92の”{} R {{}} R {{{}}} R {{{{}}}} R ・・・”は、外延的記法で 順序を列記したと思え！！ｗ ；ｐ）
> それを、集合論ど素人が 内包表記でないから といって ばかなイチャモンつけているとしか思えない
未だに何を指摘されてるかすら分かってないバカ。
> なお、内包表記でなら カッコ{}の多重度を使って
> {} ：{}多重度1→ 順序数0
> {{}} ：{}多重度2→ 順序数1
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s