[過去ログ] IUTを読むための用語集資料集スレ (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
766: 2020/11/05(木)19:35 ID:w3aXX1q1(1/2) AAS
>>764
やれやれ、悔しさのあまり頭に血が上って
訳も分からず口から出任せの云いがかりとか
みっともないったらありゃしない(嘲笑

>>765
>・・・{{・・{ 0 }・・}}・・・ は、シングルトンであって、
>括弧{} が可算無限重に重なっている集合で
省6
767: 2020/11/05(木)19:36 ID:w3aXX1q1(2/2) AAS
順序数αについて
フォン・ノイマン宇宙V_αは
以下のように定義される

V_0={}
V_n+1=P(V_n) P(X)はXのべき集合
V_λ=∪(β<λ)V_β (λが極限順序数の場合)
とする
省5
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.028s