自然数とは
【しぜんすう】
はてなキーワード 無料辞書
[emoji:B56]サイエンス 
natural number
{0,1,2,...}といった無限に続く数のこと。順序を表す数。有限の大きさを測る量。0を含めない流儀もある。
自然数全体からなる集合は可算無限集合である。
定義を明確に示すために非負整数、正の整数などと呼び分ける場合もある。
公理
自然数一階述語論理公理系として次のように形式化される。項は2変数関数記号 +,¥times、1変数関数記号 s、定数記号 0 からなり、述語記号は等式のみを持つ。例えば大小関係は m¥leq n¥Leftrightarrow ¥exists r(m+r=n) と定義できる。公理は次の8種類からなる。数学的帰納法公理図式(8)が無限個の公理を代表していることに注意して欲しい。
  1. 等式の公理
  2. ¥forall n¥neg(sn=0).
  3. ¥forall m¥forall n(sm=sn¥Rightarrow m=n).
  4. ¥forall n(n+0=n).
  5. ¥forall m¥forall n(m+sn=s(m+n)).
  6. ¥forall m(m¥times 0=0).
  7. ¥forall m¥forall n(m¥times sn=(m¥times n)+m).
  8. P(0)¥wedge¥forall n(P(n)¥Rightarrow P(sn))¥Rightarrow ¥forall nP(n).
この体系はペアノ算術とよばれる。ペアノ算術より少し弱い公理系としてロビンソン算術がある。
集合論における自然数の構成
集合論では自然数を集合として構成する。具体的には 0:=¥emptysets(n)=n¥cup ¥{n¥} のように帰納的に構成される。加算や乗算はペアノ算術の公理に倣って原始帰納により定義される: (続きがあります)
[emoji:03E]次へ
■関連キーワード
言葉責め / TeX / サディズム / NATURAL
[emoji:02A]最終更新日13/2/19
[emoji:510]「自然数」関連商品
はじめまして数学〈1〉自然数を追え、無限を掴まえろ! カシオ 関数電卓 数学自然表示 394関数 10桁 fx-375ES-N ブラック フィボナッチ自然の中にかくれた数を見つけた人 自然にひそむ数のミステリー (ニュートンムック)
[emoji:B85]「自然数」をもっと検索
[emoji:4CE]「自然数」のニュース
[emoji:539]「自然数」を含むブログ
[emoji:527]mathnbのブログ
[emoji:330]mathnb[emoji:02A]18/9/21
[emoji:814]「自然数」そのほか

[emoji:836]画面上へ戻る