[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
91: 2019/12/27(金)17:00 ID:k/2lG7oM(1/4) AAS
>>81
闇雲に検索してるね
>ゲーデルの構成可能集合
これは関係ない
>極限順序数
これもフォン・ノイマン構成に関する記述なので
ツェルメロ構成とは関係ない
>>82
>宇宙
まったく関係ない
>集合論
…{{}}…は集合ですらない
したがって
「シングルトン」（唯一の元を持つ集合）
とはいえない
{{},{{}},{{{}}},…}
なら、ツェルメロ構成のωを表す集合
として正当化できる
（ただその場合、ツェルメロ構成による順序数を
「より小さい順序数への有限∈降下列を有するもの」
として定義しなおしたほうがいい）
>>83
>圏論
…{{}}…を圏論で正当化できると思うのは妄想だろう
そもそも…{{}}…とかいうナイーブなアイデアを捨てればいい
ナイーブでありつづけることは馬鹿の極み
上下前次1-新書関写板覧索設栞歴
あと 911 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s