ペアノの公理とは?
64文字以内で説明
同義語を探す
ログインすると、同義語の登録ができます。
右のフォームからログインしてください。
右のフォームからログインしてください。
関連書籍を、amazon.co.jpで探す
関連ページを探す
ペアノの公理出典:フリー百科事典『ウィキペディア(Wikipedia)』移動:ナビゲーション,検索ペアノの公理(ペアノのこうり、Peanoaxioms)とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された為、現在の名にいたる。目次1定義2存在と一意性3ペアノ自身による記述4参考文献[編集]定義ペアノの公理は以下の様に定義される。自然数は次の5条件を満たす。自然数0が存在する。任意の自然数aにはその後者(successor)、suc(a)が存在する(suc(a)はa+1
http://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86