Inter-universal geometry と ABC予想 (応援スレ) 73 (694ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
121(2): １３２人目の素数さん [] 07/31(木)21:19 ID:1CxagZxr(11/17)
>>111
>だ か ら、記号∩は (和集合と違って) 公理ではありません！(>>105の通り）
誰が公理と言ったの？
>記号∩、
だから>>93で提示済みと何度言わせるの？ 君、言葉が分からないの？ 言語障害？ 病院行きなよ
>特に今回は”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104
>を、ZFCの公理を使って、これが 無限集合のN：＝{0,1,2,・・・} であることを示してねｗｗ ；ｐ）
なんとか先生のω=Nは証明済みだけど、それでは不十分と言いたいの？
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の公理系では 認めることはできません！
さあ さあ さあ やってくださいね！！ｗｗｗ
160(1): １３２人目の素数さん [] 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,・・・} であることを示してねｗｗ ；ｐ）』
>ってこと
いいかな、全部回答済み。
君、言葉が通じないの？ 言語障害？ 病院行きなよ
>式 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104 は
>純粋にZFCの公理のみ から導かれなければならない
ZFCの公理ではない何を使ってると？ 言いがかりはやめようね、チンピラさん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s