[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
544(2): 01/23(木)16:23 ID:F2cs9bbp(1/3) AAS
>>318
>いい証明ができたら、教えてくれ
いいかどうが分からないが、考えたので書いてみる
Xを集合とする。
Xの任意の空でない部分集合Yをその元yに対応させる写像 φ(Y)=y の存在が選択公理により保証される。
写像 ψ:2^X→2^X を ψ({}):={},Y≠{}⇒ψ(Y):={φ(Y)} で定義する。
Cを順序数全体のクラスとする。
省8
546: 01/23(木)18:09 ID:o+VGPX9a(4/4) AAS
>>544
>いいかどうが分からないが、考えたので書いてみる
時間があったら読んでみる
>>545
結局順序数の中に上限が存在しないならそれは集合ではない
ということかと勝手に思ってるが、正解かどうかはJechに聞いてくれ
547(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/23(木)18:26 ID:OWxAi42s(10/12) AAS
>>541 つづき
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>544 お愉しみを邪魔して悪いが
ちょっと、『 ZF上で実数は どこまで定義可能なのか？』に戻る
結論は
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.588s*