[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
254(1): 11/05(水)11:38 ID:Z1J+lKlF(1/4) AAS
>>243
カラスの世田は、数セミの記事すら、まともに読解できない（笑）
ーーーーーーーーーーーーーーーーーーーーーーー
数学セミナー 2025年3月
集合論の雑学 無限についてのおはなし 池上大輔
連載 第12回
フェルマーの最終定理はZFCの下で証明できるか？
グロタンディーク宇宙と到達不可能基数
１．イントロダクション
学部生時代に後輩が院生の先輩にした質問
省24
256(2): 11/05(水)11:40 ID:Z1J+lKlF(2/4) AAS
>>254のつづき
（ここが記事の本論）
６．グロタンディーク宇宙の存在と選択公理の違い
（ａ）フェルマーの最終定理が数学的構造（Ｚ、+、×、０，１）において
∀や∃の範囲を整数全体Ｚに制限することで得られる論理式（一階算術の論理式）
で表現できる
（ｂ）一階算術の論理式の真偽がゲーデルの構成可能宇宙Ｌと集合全体Ｖで変わらない
↓
フェルマーの最終定理がZFCの下で証明可能ならばZFの下でも可能
一方、
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s