[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
981(4): 06/15(日)09:15 ID:lv2xCBEK(1/2) AAS
>>980
>ペアノの公理はZFC公理系の公理ではなく定義な？
ZFC公理系に、追加でペアノの公理を定義と称して 入れ込むように読めるけど？
正確には、下記で、ZFC公理系で ノイマン構成の後者関数が定義できて
数学的帰納法で可能な 任意有限の自然数が構成できて
しかし、無限集合たる自然数全体は、無限公理による
出来上がった 無限集合を 我々は 自然数Nと呼ぶ
省9
982: 06/15(日)09:23 ID:lv2xCBEK(2/2) AAS
>>980 訂正
ただしここでAは無限公理により存在する集合を任意に選んだものである。（注：”任意に選んだ”は誤。正しくは最小のもの（あるいは、無限集合の共通部分））
↓
ただしここでAは無限公理により存在する集合を任意に選んだものである。
注
その前の記述で 積∩を取っているから もとの記述で足りているね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s