[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
587(1): 06/16(月)00:08 ID:7GSpsGVO(1/12) AAS
>∀x(φ(x)→y∈x)
は、「yは無限公理が存在を主張するあらゆる集合たちが共通に持つ元である」と言っている。
共通部分を∩を使わずに表現しているだけのこと。
君、論理式読めないの？
588(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/16(月)07:07 ID:8WY20Dqi(1/2) AAS
>>586-587
ふっふ、ほっほ
ゴマカシに入ったなｗ ；ｐ）
1）すっきりの度合いが違うだろ？
即ち、和記号Σや積記号Πならば、普通その範囲を明示するべきだろ？
Σ n=1〜∞とか Σ m,n=1〜∞とかね
では問う 記号∩について 同じことを要求する
きちんと、記号∩の定義を書け！
ここ、ツッコミどころだねｗ
2）”実質同じ”？ 証明は？ 上記1）項のあと 証明やってみてｗ ；ｐ）
3）ja.wikipediaは、しばしば 素人さんが編集している
過誤、タイポ、勘違いなどが入る可能性がある
一方、坪井明人氏は 数理論理学、基礎論のプロ数学者であって
かつ数理論理学II は、学部の講義で使われたと推察される
なので、多くの人の目に触れた 枯れたテキストだ
だから、後者が信頼できると思うよ
前者は、マユツバで読むべし！
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.044s