[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
300
(1): 2019/10/12(土)16:38 ID:Vy+smElV(1/8) AAS
>>298

> X[m]={(x1,x2,‥,xm) | x1=Ω, x[i]∋x[i+1]}
>  ↓
> X[m]={(x1,x2,‥,xm) | x1=Ω, x[i+1]∋x[i]}
> と書き直して良いですよね?

それはダメです。
上の命題は例えばm=3のとき
省9
301
(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)17:05 ID:0oc9Ztsl(22/28) AAS
>>300

ちょっと意味がとれない

1)>>295より(坪井明人 筑波大)”正則性公理は、「空でない集合 x には ∈ に関して極小となる元 z ∈ x があること」です”は、いいですか?
2)「Ω=x1∋x2∋x3」に対し、
 上記の”数理論理学II 坪井明人 筑波大”の「大小」の意味(”極小となる”などの表現)で
 大小記号”>”を流用して表現しますと
 ”x1>x2>x3”と、通常の自然数の大小関係が逆転した表現になるということの理解は、良いですか?
省5
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.040s