Inter-universal geometry と ABC予想 (応援スレ) 74 (973ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
503: １３２人目の素数さん [] 2025/08/30(土) 10:09:02.17 ID:dKFmS13a >>500 >集合積∩を使うには、集合の無限列が必要なのだ はぁ？ 何を言い出すかと思えばｗ どんな妄想だよｗ 任意の集合Xに対しその共通部分は ∩X:={x∈∪X|∀y∈X(x∈y)} で定義される。 相変わらず口を開けばデタラメばかりで草 http://rio2016.5ch.net/test/read.cgi/math/1755784703/503
509: １３２人目の素数さん [] 2025/08/30(土) 10:27:15.81 ID:dKFmS13a >>505 >>503 てか過去何度も書いてる。君、言葉が通じないの？言語障害？ http://rio2016.5ch.net/test/read.cgi/math/1755784703/509
520: １３２人目の素数さん [] 2025/08/30(土) 16:20:00.28 ID:fr4NlS// >>500 >>ペアノの公理 >>自然数の集合論的構成 >>N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} >>ここでAは無限公理により存在する集合を任意に選んだものである >上記の 「ペアノの公理…」において >自然数で 集合積∩を使う点を 批判する >（中略） >上記 集合積∩を使うには、集合の無限列が必要なのだ 要りませんけど >>503の通り >いま、無限公理に規定された無限集合として >非可算の集合（上記ペアノの公理ではA）を取ると、 >この集合積∩を使う集合の無限列は、非可算の長さの列になるだろう >つまり、ZFC公理系のごく最初の部分で >さあ いまから最初の可算集合N(自然数)を定義しよう >とするにあたって非可算の集合積∩を使うのは、 >いかにも大袈裟でまずいってことだ 何もまずくないですけど >>506の通り そもそも濃度がいかほど大きかろうが整列集合でなかろうが なんなら集合族が集合ではなくクラスであろうが問題ない なぜなら集合論の論理式で∀や∃で限量されるｘの範囲は 集合の全体であってそれは集合ではなくクラスだから 集合論のドメインが集合ではなくクラスだと聞いて 「それ大げさだからまずい」とかいうのは 述語論理を知らないもぐり >分出公理で簡単に済む話に わざわざ 集合積∩ね ∀ｘを使ってるんで、大袈裟度は同じですけど、何か問題ありますか？ ＞繰り返すが ＞ 『おおざっぱに言うとすべての帰納的な集合の共通部分をとりたい』 ＞なのだが それに とらわれて集合積∩を使うのは まずい 繰り返すけど ∀ｘのｘの範囲が集合全体のクラス という時点で最大級に大袈裟なんですが それだけまずいとかいうなら・・・ 述語論理知らんモグリ http://rio2016.5ch.net/test/read.cgi/math/1755784703/520
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.068s