Inter-universal geometry と ABC予想 (応援スレ) 73 (727ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
141: １３２人目の素数さん [] 2025/07/31(木) 22:52:13.29 ID:1CxagZxr ∩Xとか{x⊂A|・・・}とかに強烈に拒絶反応示すのはなんなん？ ∩は使っちゃダメ？ 分出公理を使っちゃダメと言ってる？ ZF上では使えるから言いがかりだよ x⊂Aはx∈P(A)と同じだよ？ べき集合の公理を使っちゃダメと言ってる？ ZF上では使えるから言いがかりだよ あたま大丈夫かい？ http://rio2016.5ch.net/test/read.cgi/math/1753000052/141
155: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/31(木) 23:49:57.81 ID:ZOjwMpAx >>141 ふっふ、ほっほ 踏みつけたゴキブリが、まだ動いているなｗ ；ｐ） >∩は使っちゃダメ？ 分出公理を使っちゃダメと言ってる？ ZF上では使えるから言いがかりだよ いいかな、公理的集合論において、記号∩ は 他の公理から組み立てられなくてはならない そして >>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の公理のみ から導かれなければならない それでなければ、”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”は ZFCの公理系では 認めることはできません！ さあ さあ さあ やってくださいね！！ｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1753000052/155
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s