[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
329(4): 2024/07/02(火)21:23 ID:fVUU8q5M(3/12) AAS
Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前じゃん
330: 2024/07/02(火)21:35 ID:sPBBtPN8(17/25) AAS
>>329
＞Sx∈Sxならばx∈xで
そこが簡単には言えないから>>295-299のようにするってこと。
まあ>>295-299以外にも方法はあるけどね。
331(2): 2024/07/02(火)21:41 ID:kdN4jCCa(2/6) AAS
>>329
＞Sx∈Sxならばx∈xで
S(x)∈S(x)とする。x∈x を示したい。
まず、x∪{x}∈x∪{x} である。
x∪{x}∈{x} の場合は、x∪{x}＝x である。
すると、x∈{x}⊂x∪{x}＝x となるので、
x∈x に到達する。
省4
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
363: 2024/07/03(水)00:52 ID:NJQKt/+9(4/24) AAS
>>361
君が>>329で書いた
＞ Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前じゃん
この発言も、正式な証明ではなくて、ただの「アイデア」に過ぎないと。
本当は循環論法の可能性があって、その場合は失敗作になってしまうと。
そして、循環論法が内包されてないことは、君自身でも確認してないと。
そして、「厳密な証明は勝手にやってくれ」と、
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.339s*