TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学の系譜 工学物理雑談 古典ガロア理論も読む64
【生保・損保】アクチュアリー資格試験スレ【年金】
数学オリンピック事典を一日一問以上解くスレ
ワッチョイ、IP表示議論スレ
ユークリッド原論を読破した!!!!
微分積分
■複素空間論ー宇宙人の居場所■
5日間のうちに株を売ると決めている場合、いつ売ると最も期待値が高いか?但し株価は無作為に変動します
現代数学の系譜 工学物理雑談 古典ガロア理論も読む73
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49
304 :
>>303 関連

無限集合ついでに、
∀n∈Nについて語られて命題は、自然数N全体を尽くすということですね

ペアノの公理との関連で言えば、任意のnについて成立し、かつn+1についても成立するならば、
それは自然数N全体に及ぶということ

現代数学のZFC公理系では、無限公理を含むため、
任意のnについて成立し、かつn+1についても成立するならば、
無限公理によって、そのような対象は、可算無限集合になる
各nは有限なれど、それは可算無限集合を形成し、自然数Nを尽くす
詳しくは、下記をご参照

なので、反例の構成は失敗していません(>>46
前スレ57 https://rio2016.2ch.sc/test/read.cgi/math/1546308968/647
の反例 数列の長さmの有限モデル も∀m∈Nについて語っているので、同じことですよ

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
(抜粋)
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
1.自然数 0 が存在する。
2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。
03. はいかなる自然数の後者でもない(0 より前の自然数は存在しない)。
4.異なる自然数は異なる後者を持つ:a ≠ b のとき suc(a) ≠ suc(b) となる。
5. がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
(引用終り)

https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
(抜粋)
ZF 公理系
・無限公理 空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する:

https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理

奇数の完全数の存在に関する証明は正しいはず
0.99999……は1ではない その3
〒270-2203 千葉県松戸巿六高台2-78-3 長谷川亮太
ゼロ除算で加減乗除が定義できた
惑星ニビルの衝突
【有効数字】9=9.0ってどうなの?【数学】
数学力と文章力にはなにか関係があるのか。
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
分からない問題はここに書いてね422
☆★★『馬鹿板生活満喫ガイド:基本十項目』★★★
--------------------
Dota2 part120
田村ゆかりOFF会22
ぴころまいう275
電力業界91
橋下徹が兵庫県知事・平松邦夫が神戸市長だったら
ASUS ZenFone 6 Part25
オタクだけど婚活してみようかと in osaka その17
女子プロレスが流行らない理由
東北地方+新潟実況Part772
弱虫自転車ヲチスレ7
軍艦の食事について語るスレ70食目
【Netflix】Bodyguard/ボディガード【BBC】
【SNS】香ばしいブラ者を語るスレpart.21【ブログ】
【サッカー】「悪意に満ちた報復行為」「韓国の赤い王!」、ソン・フンミンたたく中国、それを楽しむ日本[12/24]
【自転車】-ロードバイク購入相談スレ【125台目】
ラーメン二郎 仙川店 4杯目
電気代ってこんなに高いの?
【うんこちゃん】加藤純一総合スレpart877
☆前の人のIDで制限されるしりとり★Part34
【潜在】 宮司愛海専用 2019/12/24(火) 【能力】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼