Inter-universal geometry と ABC予想 (応援スレ) 73 (694ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
141(1): 07/31(木)22:52 ID:1CxagZxr(17/17) AAS
∩Xとか{x⊂A|・・・}とかに強烈に拒絶反応示すのはなんなん？
∩は使っちゃダメ？ 分出公理を使っちゃダメと言ってる？ ZF上では使えるから言いがかりだよ
x⊂Aはx∈P(A)と同じだよ？ べき集合の公理を使っちゃダメと言ってる？ ZF上では使えるから言いがかりだよ
あたま大丈夫かい？
155(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)23:49 ID:ZOjwMpAx(4/6) AAS
>>141
ふっふ、ほっほ
踏みつけたゴキブリが、まだ動いているなｗ ；ｐ）
>∩は使っちゃダメ？ 分出公理を使っちゃダメと言ってる？ ZF上では使えるから言いがかりだよ
いいかな、公理的集合論において、記号∩ は 他の公理から組み立てられなくてはならない
そして >>121にも記したが
『特に今回は”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”>>104
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s