Inter-universal geometry と ABC予想 (応援スレ) 74 (963レス)
上下前次1-新
抽出解除 レス栞
802(2): 09/06(土)21:42 ID:1Qoa8Sie(5/7) AAS
「∈」の左側にクラスが来られるわけないだろ
どこにそんなことが書いてあるんだよ
人工無脳はコピペするだけで内容は読めねーのな
IUT論文IVにV_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・を実現するために
>Given any set x, there exists a universe V such that x ∈ V.
の公理を使うって書いてあるだろ
「∈」の左側に来るのは集合な
805(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:54 ID:JgP2aXhR(14/14) AAS
>>802
(引用開始)
IUT論文IVにV_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・を実現するために
>Given any set x, there exists a universe V such that x ∈ V.
の公理を使うって書いてあるだろ
「∈」の左側に来るのは集合な
(引用終り)
省21
807(1): 09/07(日)06:54 ID:CTxYlvA3(1/14) AAS
>>801
>”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”は、ノイマン宇宙でも同じでは?
V_nって宇宙だろ? だったら違うな
ZFCの最小のモデルでは、集合である宇宙が1つもない
モストフスキ崩壊補題とかいう以前の初歩
>>802
>人工無脳はコピペするだけで内容は読めねーのな
省3
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.037s