[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
357(1): 2024/07/03(水)00:18 ID:NJQKt/+9(1/24) AAS
>>356
では、もう1つ問題点を挙げよう。君が証明なしで提示した
「非自明で便利な結果」
は、それを証明する過程で ¬(x∈x) という
性質が必要になる可能性がある。
もし ¬(x∈x) が必要なら、君の提示した証明手法は
¬(x∈x) の証明には使えないことになる(循環論法になるから)。
省5
358(1): 2024/07/03(水)00:27 ID:IVSi7hBR(1/15) AAS
>>357
可能性があるってだけで文句言わないでよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s