[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
298(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)15:38 ID:0oc9Ztsl(20/28) AAS
>>296
>好きに番号はつけて下さい。
はい
では、>>295の正則性公理の表記に合わせて、
∋関係の順序列の最小要素から順に、0または1を、
そして可付番なら、その後は自然数の順で番号付けをすることを
要求します
省8
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
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.037s