Inter-universal geometry と ABC予想 (応援スレ) 73 (700レス)
上下前次1-新
抽出解除 レス栞
124(2): 07/31(木)21:36 ID:1CxagZxr(14/17) AAS
>>111
wikipedia「ペアノの公理」より引用
(引用開始)
集合 ℕ と定数 0 と関数 S と集合 E に関する次の公理を、ペアノの公理という[3][注釈 1]。
ℕ の元を自然数、S(n) を n の後者(英: successor)[注釈 2] という。
・0 ∈ ℕ
・任意の n ∈ ℕ について S(n) ∈ ℕ
省10
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
243: 08/02(土)15:02 ID:E5xLBw1U(19/23) AAS
オチコボレは>>124が読めんのか?
「ℕの元を自然数という」って明記されとるやん
「自然数全体の集合をℕという」なんて書かれてないし、どちらでどちらを定義してるかが真逆やん
これだけ言えば真の課題が何であるかも分かるだろう 分からなければ諦めろ 馬鹿に数学は無理
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 1.923s*