[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 75 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
968(2): 10/09(木)13:19 ID:U4fD8YKG(5/8) AAS
>>847
>ある公理体系全体を「真」とするような解釈や構造がモデルと呼ばれます。
>>967
>ある公理系内で作れない集合は、その公理系内では集合と呼べない（クラスだ）
ZFから無限公理を取り除いた公理系(ZF-Infinity)のモデルに無限集合が存在したらZF-Infinityのどの公理が偽になるんですか？
974(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/09(木)14:55 ID:KF0VNvBU(2/4) AAS
>>968
>>ある公理系内で作れない集合は、その公理系内では集合と呼べない（クラスだ）
>ZFから無限公理を取り除いた公理系(ZF-Infinity)のモデルに無限集合が存在したらZF-Infinityのどの公理が偽になるんですか？
公理をゲームのルールに例えるのが分かり易いだろう
バスケの３ポイントシュートが ある場合とない場合
二つのゲームがありうる
3点差で負けている試合で
ボールはこちらが持っているが
残り時間十秒だとする
３ポイントシュートありなら、同点を狙って ３ポイントを打つ
省15
977(1): 10/09(木)15:06 ID:iNBLaKNh(1) AAS
>>967
ID:KF0VNvBU という人の誤解はまだ解けていないようですが
その原因はZFCとZFC+¬Uを同一視しているからですね
>>968
ID:KF0VNvBU という人は同様にZF-InfinityをZF-Infinity+¬Infinityと誤認しているようです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.200s*