Inter-universal geometry と ABC予想 (応援スレ) 73 (724レス)
上下前次1-新
抽出解除 レス栞
155(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 07/31(木)23:49 ID:ZOjwMpAx(4/6)
>>141
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているなw ;p)
>∩は使っちゃダメ? 分出公理を使っちゃダメと言ってる? ZF上では使えるから言いがかりだよ
いいかな、公理的集合論において、記号∩ は 他の公理から組み立てられなくてはならない
そして >>121にも記したが
『特に今回は”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104
を、ZFCの公理を使って、これが 無限集合のN:={0,1,2,・・・} であることを示してねww ;p)』
ってこと
公理的集合論なのだからね ;p)
式 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104 は
純粋にZFCの公理のみ から導かれなければならない
それでなければ、”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”は
ZFCの公理系では 認めることはできません!
さあ さあ さあ やってくださいね!!www
160(1): 132人目の素数さん [] 08/01(金)00:05 ID:n2NtHms/(1/17)
>>155
>いいかな、公理的集合論において、記号∩ は 他の公理から組み立てられなくてはならない
>そして >>121にも記したが
>『特に今回は”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104
> を、ZFCの公理を使って、これが 無限集合のN:={0,1,2,・・・} であることを示してねww ;p)』
>ってこと
いいかな、全部回答済み。
君、言葉が通じないの? 言語障害? 病院行きなよ
>式 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104 は
>純粋にZFCの公理のみ から導かれなければならない
ZFCの公理ではない何を使ってると? 言いがかりはやめようね、チンピラさん
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.024s