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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
12
(1): 2019/10/05(土)10:59 ID:kZwmbLNI(4/44) AAS
>>7
>「フォン・ノイマン宇宙、WFは0に冪集合の演算を有限回、
> あるいは超限回繰り返して得られる集合全体のクラス」
>という存在を認めることにしましょう

上記を認めても、1の言われる
{{…{}…}}({}が無限重)
がフォン・ノイマン宇宙に入っていないので
省1
20
(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)11:18 ID:JrhjRl4x(10/46) AAS
>>11
>この議論では必然的に通常の数学のωと、今話題のωが両方出てきてどっちの話してんのかわけわかめになる。

私は、今話題のωと通常の数学のωとは、同じ意味で使っていますよ

>>12
> 上記を認めても、1の言われる

その「1の言われる」とかいう表現やめてもらえますかね?
「1の言われる」という表現は、いままでサル石しか使っていません
省3
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.031s