[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
317(2): 2024/07/02(火)20:11 ID:fVUU8q5M(1/12) AAS
>>313
それもまだ示せてないなら、そっちから先に証明しとけばいいだろ
320: 2024/07/02(火)20:30 ID:kdN4jCCa(1/6) AAS
>>317
ナンセンス。
「 ¬(x∈x) を先に証明しとけばいい」
ということなら、それは今までの文脈を全く理解してない。
まず、発端となった ID:8e/gxRJc は、
「 ¬(x∈x) が証明できれば全ての疑問点が解消される 」
という部分までは自力で到達していて、
省3
321: 2024/07/02(火)20:33 ID:sPBBtPN8(13/25) AAS
で、この文脈において、君は今回、>>317において
「 ¬(x∈x) を先に証明しとけばいい」
と発言したわけ。しかし、まさにその部分を(**)で
質問してるのが話の前提なんだよ。つまり君は、
「どうやって ¬(x∈x) を証明すればいいの？」
という質問に対して、
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s