自然数とは
【しぜんすう】
はてなキーワード 無料辞書
[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 / NANA
[emoji:02A]最終更新日13/2/19
[emoji:510]「自然数」関連商品
はじめまして数学〈1〉自然数を追え、無限を掴まえろ! (幻冬舎文庫) (クラブティー) ClubT 数学Tシャツ:自然数の逆数の和:無限大:無限級数:学問・計算_片面 Tシャツ(ディープグリーン) M ディープグリーン 英語定冠詞とコピュラの意味論背後に潜む自然数概念 フレーゲ・デデキント・ペアノを読む: 現代における自然数論の成立
Wikipedia では
自然数(しぜんすう、Natural number)とは、ものの個数、もしくはものの順序(これは正確には有限順序数)という概念を表す数の一群のことである文脈によっては、その一群に属する個々の数を指して自然数ということもある。自然数は0, 1, 2, 3, … とどこまでも続き、その...
[emoji:03E]続きを読む
出典: フリー百科事典
『ウィキペディア(Wikipedia)』
[emoji:B85]「自然数」をもっと検索
[emoji:4CE]「自然数」のニュース
[emoji:814]「自然数」そのほか

[emoji:836]画面上へ戻る