Inter-universal geometry と ABC予想 (応援スレ) 73 (766ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
160: １３２人目の素数さん [] 2025/08/01(金) 00:05:41.55 ID:n2NtHms/ >>155 >いいかな、公理的集合論において、記号∩ は 他の公理から組み立てられなくてはならない >そして >>121にも記したが >『特に今回は”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104 > を、ZFCの公理を使って、これが 無限集合のN：＝{0,1,2,・・・} であることを示してねｗｗ ；ｐ）』 >ってこと いいかな、全部回答済み。 君、言葉が通じないの？ 言語障害？ 病院行きなよ >式 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104 は >純粋にZFCの公理のみ から導かれなければならない ZFCの公理ではない何を使ってると？ 言いがかりはやめようね、チンピラさん http://rio2016.5ch.net/test/read.cgi/math/1753000052/160
184: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/01(金) 07:26:25.82 ID:3GStjv9j >>173 & >>160-162 (引用開始) >>157 >P(a)から 有限集合を除いた 集合族が a^ ＝ {x ∈P(a) | M(x)} はい、大間違いです。 無限集合という言葉を粗雑に使うから間違う。 (引用終り) 正確には、”大間違い”ではなく 不適切だろう。これを書いた人は 『「x は無限集合である」という命題を M(x)』>>157 としている （ https://ufcpp.net/study/math/set/natural/ 自然数 - 集合論 未確認飛行 C より ） しかしながら、ZFC公理系では ”無限集合”という言葉は ZFC公理系の中では使わない あくまで、公理系の外の用語です 命題 M(x)を、”無限集合”という言葉を使わずに ZFC公理系内で規定しようとすると おそらくは 循環論法になる http://rio2016.5ch.net/test/read.cgi/math/1753000052/184
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s