[過去ﾛｸﾞ] 0.99999……は１ではない その２ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
588(1): 2019/10/24(木)22:54 ID:v8ZyClKL(24/34) AAS
>>587
安達さん、次は{{1,2},{3,4}}が存在することを証明しますね
∀x∀y∃A∀t(t∈A⇔(t=x∨t=y))
x={1,2},y={3,4}いれてみましょう
∃A∀t(t∈A⇔(t={1,2}∨t={3,4}))
さて、これはある集合Aがあり、tがAの要素なら、t={1,2}であるかt={3,4}である、と言っていますね
省2
618: 2019/10/25(金)10:44 ID:q/4K+HfN(5/17) AAS
上でちゃんと対の公理から導きましたよね？>>588
で、あなたはそれは当たり前で誰でも認めると言いましたよね？>>589
嘘をついたんですか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s