ようこそ ○× ソーシャル 「コトノハ」へ!

コトノハは、色々なコト(キーワード)について、みんなで ○× で答えていく、新感覚のコミュニティサービスです。
あなたはまだコトノハにログインしていません。 ぜひコトノハにログインして、○×の世界をお楽しみください。

コトノハのトップページへ   |   新規ユーザ登録はこちらから

コトノハ

たくあんが切れてなくてビロ〜ン << prev
next >> 身体はボディじゃなくバディと呼んでいる

ペアノの公理系

○
×
  • * Googleで検索
  • * ランダム[ r ]

コメント一覧

○
  • 自然数の公理系

  • 自然数から組み立ててしまおう、というのがすごい

  • これだけではグッドスタインの定理は証明できない。

  • もしもペアノを知ったなら、自然数のすべてを公理にして君に伝えることだろう♪  元0、後者関数による元、0が後者の元の否定、異なる元の後者は異なる、帰納法公理の5つから成る。

×
  • わかんない。今度調べてみます

回答したユーザ
トラックバックURL:  
たくあんが切れてなくてビロ〜ン << prev
next >> 身体はボディじゃなくバディと呼んでいる