Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
531(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/30(土)16:54 ID:jE3Cs7nW(15/22) AAS
>>522
(引用開始)
Aの濃度に関係なく、無限公理を満たせばいい
まあ、Aは極限順序数でしょうね
でもなんであれ共通集合をとるので、
結局、最小の極限順序数になりますね
(引用終り)
省29
532: 08/30(土)17:09 ID:dKFmS13a(25/30) AAS
>>531
>自然数N＝ω これが 無限集合たちの最小で 全ての無限集合に含まれている
偶数全体の集合には含まれないから大間違い。
相変わらず口を開けば間違いだらけだね君。
533: 08/30(土)17:12 ID:dKFmS13a(26/30) AAS
>>531
>∩を使わずに済ます方が 公理による自然数N＝ωの構築として
>圧倒的に スマートで美しいってこと
それって∩恐怖症のあなたの個人的感想ですよね？
534: 08/30(土)17:31 ID:fr4NlS//(9/12) AAS
>>531
＞無限公理の 無限集合Iから自然数を抽出する
＞∀x(x∈W↔∀I(∅∈I∧∀y(y∈I→(y∪{y}∈I)))→x∈I))
＞の如く∩を使わずに済ます方が
＞公理による自然数N＝ωの構築として
＞圧倒的に スマートで美しい
∀Iを使ってる時点で、>>515で示した通り、∪と同じなので
省1
539(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/30(土)20:48 ID:jE3Cs7nW(16/22) AAS
>>531 補足
>>518 より
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
省38
543(4): 08/30(土)22:38 ID:jE3Cs7nW(18/22) AAS
>>531 補足
>>518 より
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
省45
651(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)17:46 ID:gg6LcAZV(7/7) AAS
>>645
>>aから直接 M(x)’を 分出公理で 部分集合として取り出せば それで終わりでしょ！
>それで終わりなら、なんでやらないの？
既出だが
中高一貫生も来る可能性があるので、下記を再録しておく ；ｐ）
>>531 再録
外部ﾘﾝｸ:ja.wikipedia.org
省51
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s