[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
346(1): 2024/07/02(火)23:17 ID:sPBBtPN8(20/25) AAS
>>345
なんだ、自分では証明する気がないくせに、
横から口を挟んでテキトーなことを言ってただけか。
348: 2024/07/02(火)23:35 ID:sPBBtPN8(21/25) AAS
ここまでのまとめ。
君：Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前 (>329)
俺：「S(x)∈S(x)ならばx∈x」は簡単には示せない。
実際、「x∈y∈x」から「x∈x」を導出する部分に
大きなギャップがある。(>335)
君：そこはx≦yとx⊂yの同値性を使えばいいじゃん。(>339)
俺：x≦yとx⊂yが同値であることは自明ではなく、証明が必要。
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s