純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
107(1): 07/25(金)11:51 ID:uxV8JHFX(4/7) AAS
>>103
>さて、上記 N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} なる式が 自然数の集合N を表すと宣う
N=ωは証明済みだから、仮にNが自然数全体の集合でないとしたらωもそうだけどなｗ
で、Nでもωでもただ構成しただけじゃ自然数全体の集合であることが示されていない訳だが、君は示せる？ 何なら教えてあげようか？
>問題は、記号∩を導くのに 分出公理を必要とするならば それは冗長だろう！
集合族を構成するために用いられる分出公理と共通部分を構成するために用いられる分出公理を混同してるね 頭のネジ足りないんじゃない？
>なお 単純に 集合N = {0, 1, 2, . . . }のような無限集合を構築することは ZFC公理系では許されない
省10
111(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/26(土)09:17 ID:w9PY0JQs(1/16) AAS
>>104
>自分で引用したOnが何かも答えられなかったゴキブリが何か言っとる
ふっふ、ほっほ
引用ねｗ
おれは、基本 文字選択→コピーコマンド→貼付けコマンド なので
ハンドタイプの”引用”はしないんだ
”Onが何か”？か （＾＾
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s