Inter-universal geometry と ABC予想 (応援スレ) 73 (698ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
123(1): 07/31(木)21:25 ID:1CxagZxr(13/17) AAS
>>111
>素朴集合論で ペアノ公理 N：＝{0,1,2,・・・} と定義したとき
ペアノの公理はそんなこと一言も言ってないけど
また勝手読みかい？ だから落ちこぼれるんだよ
156(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)23:50 ID:ZOjwMpAx(5/6) AAS
>>122-124
>>N：＝{0,1,2,・・・} と定義
>は循環論法だよ。
ふっふ、ほっほ
循環論法ではないよ
下記の Natural number en.wikipedia の 歴史の項を百回音読してね
”このアプローチは現在、ペアノ算術と呼ばれている。これは、順序数の特性の公理化に基づいている。すなわち、各自然数は後続の数を持ち、すべての非ゼロの自然数は一意の先行数を持つ。ペアノ算術は、集合論のいくつかの弱いシステムと等価である。そのようなシステムの1つが、無限公理をその否定に置き換えたZFCである”
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s