[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
199(7): 2021/02/24(水)08:10 ID:g7j/Y73h(1/5) AAS
可算選択公理で例えるなら、有限回の選択ならZFの中で可能だが、だからといって
「ゆえに、この作業を可算無限回繰り返せば、
添え字の集合が可算無限でも選択関数が作れる
(ZFの中で可算選択公理が公理ではなく定理として得られる)」
とは言えない。
ショルツにとっての Cor3.12 までの内容は、「有限回の選択ならZFの中で可能である」
に相当するものであり、そんなことは自明だったのだろう。ところが、Cor3.12 でいきなり
「ゆえに、この作業を可算無限回繰り返せば、添え字の集合が可算無限でも選択関数が作れる」
というステップが登場し、いや、それはおかしいと。
しかし、実際のIUTは「〇〇公理」と整備されているわけでもないので、
おかしい部分を正確に言語化することもできない。そんな感じだろう。
上下前次1-新書関写板覧索設栞歴
あと 803 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s