TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
なぜ0^0=1なんですか?
奇数の完全数の存在に関する証明は正しいはず
お前ら数理工学に来ないか?
大学学部レベル質問スレ 12単位目
面白い問題おしえて〜な 26問目
■■■■■■■■■■■   裏金
ジョン・ナッシュ氏が交通事故で死去
現代数学の系譜11 ガロア理論を読む27
京大の基盤と阪大ってどっちがいいですか
フェルマーの最終定理の簡単な証明4
189 :
ペアノの公理は、現代数学大系の中では、ZFC公理系の中に包含されているので
正確には、公理と呼ぶのは間違いだが、歴史的にそういう名称で呼ばれている
(詳しくは、下記 ”Rei Frontier Tech Blog ZFC公理系について:その2”)

で、我々は、すでにZFCの中で、自然数を構成して、それを使っているということを忘れている人がいる
それ、単に後者が存在するというだけのことですよね
それは、任意の自然数mを取ったときも同じことが言える

で、さらに言えば、無限集合としての自然数Nは、公理系としては、ペアノの公理だけでは達成できない
無限公理が、無限集合の存在には必要だ
それについては、下記などを読めば、どこにでも書いてある

「ペアノの公理で、有限と無限を区別できる」と、錯覚している人がいるようだね

http://tech-blog.rei-frontier.jp/entry/2017/11/02/102042
Rei Frontier Tech Blog
ZFC公理系について:その1 20171102
(抜粋)
今回皆様にお話するのは、現代数学の土台であり、我々が普段接する数学的対象をつくる素材を提供してくれる、ZFC公理系にまつわるお話です。
・はじめに
・命題と論理式
・外延性公理と集合
・非順序対と合併
・無限公理と無限系譜
・分出公理と共通部分
(引用終り)

http://tech-blog.rei-frontier.jp/entry/2017/11/09/100000

ZFC公理系について:その2 20171109
(抜粋)
本記事の目的は、自然数全体の集合Nを定義し、その性質(の一部)を述べることです。
・べき集合の公理、自然数の全体
・ペアノの公理
(引用終り)

http://tech-blog.rei-frontier.jp/entry/2017/11/16/100000

ZFC公理系について:その3 20171116
(抜粋)
前前回、前回につづいて、ZFC公理系の残りの公理を紹介していきます。
・写像と選択公理
 ・順序対、直積
 ・写像、一般の直積、選択公理
・順序数、ZFC公理系
 ・順序関係と順序数
 ・正則性公理
 ・置換公理
・参考文献
(引用終り)

https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
ZF 公理系
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory (ZFC)

現代数学の系譜11 ガロア理論を読む32
山口大学理学部数理科学科
奇数の完全数の存在に関する証明が完成しました2
名古屋】有限会社モトミ食品輸送【トランストラスト2】
ユークリッド幾何学は中学・高校数学から撤廃すべき
現代数学の系譜 工学物理雑談 古典ガロア理論も読む52
現代数学の系譜 工学物理雑談 古典ガロア理論も読む56
現代数学の系譜 カントル 超限集合論
フェルマーの最終定理の簡単な証明2
素数が無限に存在する証明
--------------------
【バーチャル】hololiveアンチスレ#1227 【Youtuber】
駅弁の中で一番いい大学ってどこ?
メディコンってどうよ
フェールセイフ
【ガス】衣類乾燥機その3【電気】
【えのぐ】岩本町芸能社総合part25.1【丸茂雄大】
店内で食事吸いながらタバコ待ってる奴はR
◆スカーレット・ヨハンソン part7◆
本当は怖い作業所の話
リサイクルショップで買った掘り出し物は?★7
ABARTH124spider part7
番組改編・編成妄想スレッド part1
☆★セキセイインコ101回目(のプロポーズww)
[FM91.6 文化放送] レコメン! リスナー交流スレ Part1
法律違反をしている歌詞
YAHOO!きっずの検索で「モタ男」を一位にしようぜ
星野珈琲店ってどうよ
地方移住したことある人で地域の情報共有しよ♪
【激写】陸上部JKの「スカート焼け」がエロいwこれもう裸でいいだろ・・・・・ [324064431]
長野県の高校受験 PART23
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼