純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
62(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)23:59 ID:jUNIihmc(2/3) AAS
>>60-61
まだ、ぶつぶつ言っているよ、この人ｗ ；ｐ）
１）>>18の ペアノ公理の自然数の集合論的構成で
”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}” 外部ﾘﾝｸ:ja.wikipedia.org
”Aは無限公理により存在する集合を任意に選んだもの”
問題は、これが 公理的集合論として 自然数の集合Nになっているか
それについて どの公理を使ったかを明示しながらの証明が必要だよね 公理的集合論としては
省20
64(2): 07/24(木)00:26 ID:6YDhy16j(1/9) AAS
>>62
>問題は、これが 公理的集合論として 自然数の集合Nになっているか
N＝ωは証明済みだから、仮に自然数の集合になってないとしたらωもそうだよｗ
>それについて どの公理を使ったかを明示しながらの証明が必要だよね 公理的集合論としては
君は証明できるかい？ 何なら教えてあげようか？
>さて、下記 独仏英wikipedia と Akito Tsuboi 筑波大と 渕野 昌の５者は、∩を使わない。∩を使わないで済ましているよ
だから？
省10
65: 07/24(木)00:33 ID:6YDhy16j(2/9) AAS
>>62
>>>60-61
>まだ、ぶつぶつ言っているよ、この人ｗ ；ｐ）
ん？ 他に分からないことは無いと？ じゃあ「説明要」は言いがかりってことね？
67: 07/24(木)05:04 ID:AMFq9Xco(2/2) AAS
>>62
英wikipediaや坪井氏が書いてることと
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
が全く同じだと気づけない高卒◆yH25M02vWFhP
∀と∩が実質的に同じであることに気づけない高卒◆yH25M02vWFhP
バカ？
194(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)23:58 ID:6EVaf5Z4(8/8) AAS
>>188
ふっふ、ほっほ
踏みつけたゴキブリ、しぶといなぁ〜、まだ動いているよｗ ；ｐ）
(引用開始)
>こちらの式の問題点は、>>177に指摘の通りで ”「x は無限集合である」という命題を M(x) とし”の部分であって
>ここを きちんと 集合の言葉で書けるかどうか？ そこが問題です
なんとか先生のφ(x)を使え
省34
195(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/28(月)00:07 ID:DgNswCrs(1/2) AAS
>>194 引用文献訂正
>>115 仏語 Axiome de la réunion、英語 Axiom of union
↓
>>62 独wikipedia 外部ﾘﾝｸ:de.wikipedia.org
仏wikipedia 外部ﾘﾝｸ:fr.wikipedia.org
英wikipedia 外部ﾘﾝｸ:en.wikipedia.org
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.539s*