[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
568(1): 2023/05/25(木)13:19 ID:uCDtIfLO(1/4)調 AAS
自然数を定義する方法はいくつかあるけども、その一つの方法として1という記号(1が嫌なら〒でも☆でも良い)で生成される半群Sの元、というものがあります
この半群Sというのは1を「有限回」演算したものの全体として定義され、当然無限大なるものはSに含まれません(もちろんone of 無限大も含まれません)
これが普通の数学における自然数の定義です
一方、高木数学では無限大である自然数が存在する(>>392>>395)ので、高木数学と普通の数学は異なる体系です
ところで、私の質問(>>445>>470)への回答はまだでしょうか？
570(3): ◆pObFevaelafK 2023/05/25(木)13:52 ID:csTyjIsO(7/12)調 AAS
>>568
1/nはnを限りなく大きくしても、常に有理数です。0も有理数。
何度も無限大は集合だと考えることができると書いています。
無限大は実数集合だから、奇数、偶数、有理数、無理数になる無限大が存在します。
>>569
定義が書いていないということしか間違い？を見つけることができないということでしょうか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s