Inter-universal geometry と ABC予想 (応援スレ) 73 (730ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
141(1): １３２人目の素数さん [] 07/31(木)22:52 ID:1CxagZxr(17/17)
∩Xとか{x⊂A|・・・}とかに強烈に拒絶反応示すのはなんなん？
∩は使っちゃダメ？ 分出公理を使っちゃダメと言ってる？ ZF上では使えるから言いがかりだよ
x⊂Aはx∈P(A)と同じだよ？ べき集合の公理を使っちゃダメと言ってる？ ZF上では使えるから言いがかりだよ
あたま大丈夫かい？
155(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 07/31(木)23:49 ID:ZOjwMpAx(4/6)
>>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の公理系では 認めることはできません！
さあ さあ さあ やってくださいね！！ｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.964s*