[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
240(1): 2020/05/08(金)10:57 ID:enp/+yz7(3/20) AAS
>>239
＞私は、[Drk]に何を書いてあるかは知らない
じゃ、調べたら？
もし、nine axiomsと書いてあったとしても、厳密には誤りだけど
ZFCの公理が有限個だったら、そもそも可算推移モデルなんて考えなくていい
外部ﾘﾝｸ:ja.wikipedia.org
省3
242: 2020/05/08(金)11:09 ID:qXGvfbUV(5/26) AAS
>>240
>＞私は、[Drk]に何を書いてあるかは知らない
>じゃ、調べたら？
ほいよ >>241（＾＾；
>もし、nine axiomsと書いてあったとしても、厳密には誤りだけど
"厳密"の定義は？
>>239より
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s