[過去ログ] 大学学部レベル質問スレ 27単位目 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
361
(2): 2024/07/03(水)00:42 ID:IVSi7hBR(2/15) AAS
>>359
証明は勝手にやれよ
362: 2024/07/03(水)00:45 ID:NJQKt/+9(3/24) AAS
>>361
つまり君は、正式な証明を提示したのではなく、
軽いノリで1つの「アイデア」を提示しただけ、ということになる。

内部で循環論法が発生してなければ正式な証明になるが、
循環論法が発生していれば証明として機能しない失敗作になる。

そういった危うい「アイデア」を提示しただけで、
正式な証明になっているかは君自身でも把握してないと。
省1
363: 2024/07/03(水)00:52 ID:NJQKt/+9(4/24) AAS
>>361
君が>>329で書いた

> Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前じゃん

この発言も、正式な証明ではなくて、ただの「アイデア」に過ぎないと。
本当は循環論法の可能性があって、その場合は失敗作になってしまうと。
そして、循環論法が内包されてないことは、君自身でも確認してないと。

そして、「厳密な証明は勝手にやってくれ」と、
省2
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s