![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
No.4ベストアンサー
- 回答日時:
・自然数が定義されている
→「ペアノの公理」で検索;
(以下自然数は0じゃなくて1から始まる前提で記述)
・自然数の加法(足し算)が定義されている
a+1=s(a)
a+s(b)=s(a+b)
※ただしsは、ペアノの公理の後継関数
・自然数の大小関係が定義されている
a+c=b となるcが存在 ⇔ a<b
という前提のもと、
1+1=s(1)=2 より
1+1=2
従って 1<2
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 大学受験 高二です。 Q夏休みに数ⅠAの基礎問題精巧を終わらせたいんですが、1ヶ月で終わらせるのは難しいですか 1 2022/07/10 17:27
- 数学 ゴールドバッハの予想の部分証明について 4 2022/06/04 13:53
- 夏休み・春休み 高校1年生です。 夏休みの宿題で数学のレポートがあって、どんな事を描けばいいかわからないです。 テー 4 2023/08/01 23:01
- 夏休み・春休み 夏休み宿題誰得? 先生なんてあんなポン助なのに、何を偉そうに課題とか出してるの? 一般のポン助に宿題 8 2022/08/25 15:20
- 高校 高校一年生、夏休みの宿題についてです。 もうすぐ夏休みが終わります。中学の時より、早めに宿題に取り掛 2 2022/08/31 23:43
- 学校 腹痛でテストを休むことについて 3 2023/04/10 18:46
- 大学受験 高校二年生になって数ⅠAの復習をしたいと思っています。 いつも偏差値が50以下なので基礎ができていな 1 2022/07/03 12:08
- 学校 高一女子です。学校関係の相談です。 至急、回答をお願いしていただきたいです、、、 今は夏休み期間でそ 4 2023/07/24 00:19
- 中学校 中2、宿題の意味がわからないです。 4 2022/08/13 13:42
- 夏休み・春休み 不登校の人の机から課題を取る 5 2022/07/19 07:48
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
ユーザー定義関数をアドイン登...
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
べき乗
-
「logx^2=2logx」が間違って...
-
等分除と包含除について 割り算...
-
平面曲線の特異点について
-
eの0乗は1ってどういう原理です...
-
1未満と1以下の違い
-
ACCESS VBAでインポート定義の場所
-
フーリエ変換について質問です。
-
マイナス7は素数ですか?
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
閉区間の微分可能って?
-
Excel関数で、セル内の文字列の...
-
ヘシアンが0の場合どうやって極...
-
ACCESS IIF関数 複数条件の設...
-
2進数の符号ビットの入った数...
-
動力学と運動学の違いって?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
べき乗
-
「logx^2=2logx」が間違って...
-
「互いに素」の定義…「1と2は互...
-
なにしてるかわからない。。
-
ACCESS VBAでインポート定義の場所
-
p⇒q=(¬p)∨qについて
-
1未満と1以下の違い
-
ヘシアンが0の場合どうやって極...
-
三角関数(たとえばf(x)=sinxと...
-
eの0乗は1ってどういう原理です...
-
『質問の定義が分からないので...
-
内積を
-
最大元と極大元の定義の違いが...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
自然数 整数 有理数 実数 加法 ...
-
e<3の証明を教えてください。
-
変数の宣言の名称を教えてくだ...
おすすめ情報