TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
耳栓をしたら世界が変わってワロタ
『解析概論』について5
耳栓をしたら世界が変わってワロタ
♂♂♂♂♂♂♂♂♂   暗号解読
0.99999……は1ではない その8
数学の本 第85巻
13×小学校のかけ算順序問題
現代数学の系譜 古典ガロア理論を読む39
(・∀・)ヤコビヤーン! 2
大学受験数学如きで挫折して文系に行くやつwwww
228 :
>>227
バカじゃないの。まともに数学を学んだことがないことがバレバレですね。

一例として「自然数」の場合を考える。自然数はペアノの公理系によって定義される。
また、「ペアノの公理系」で要求されている "要件" を満たしさえすれば、
どのような実装をしようとも、実装後の体系は全て「自然数」と呼ばれる。

だから、"要件" だけを知りたいなら「ペアノの公理系」を読めば十分。
で、ここから先は、ペアノの公理系という "要件" を満たす具体的な実装を1つ挙げる。

一例として、ZF集合論の中で自然数を実装する場合を考える。
詳しくは「ペアノの公理系」で検索してほしいが、
ZF集合論の中での標準的は実装は次のようになる。

0:= { }
1:= { 0 } = { { } }
2:= { 0, 1 } = { { }, { { } } }




Inter-universal geometry と ABC予想 16
■■■■■■■■■■■■■   人工太陽
【 数 学 検 定 】 数 学 検 定 1 級 の た め の ス レ
13×小学校のかけ算順序問題
経済学は数学を誤用している
高校数学の質問スレPart402
国立大医学部の問題です。だれか解いてください
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
プラスマイナスゼロ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
--------------------
エナジードリンク総合スレ 9本目
家具業界でステマ販促が有名と証言するアーロンチェアやエルゴヒューマンのステマ業者の手口を公開!4
7/27 女優は広瀬すず 長澤まさみ 深田恭子 3強状態だけど なんでこんなに売れたんだろうな【芸能】
【アズレン】アズールレーン Part4780
【悲報】逢田梨香子さん、人気半減
通販で買い物しようと念のため業者の住所調べたら交番だった件
【NMB48】太田夢莉応援スレ★68【ゆーり】
【武漢肺炎】新型コロナ【中国発パンデミック】part.261
AFFINITY Part 6【Adobe代替】
国際周産期・医学アカデミー受賞
【フジ系火9】健康で文化的な最低限度の生活 part5【吉岡里帆・井浦新・田中圭・遠藤憲一】
☆北朝鮮がネットを使い韓国を攻撃★
幸福の科学/現・幸福の科学会員による犯罪行為
天龍のスレがない
藤原啓治死亡
【BBH】読売巨人軍〜GIANTS〜【V1】
【複垢で、コメント頑張るきみに金メダル】Y.LIFE STYLEアンチスレ33【シャンプー98円】
【鉄血のオルフェンズ】カルタ・イシュー様
買おう買おうと思っているが買っていないもの 5
【LEF】 Two-Per-Day Part7 【TPD】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼