[過去ログ] 大学学部レベル質問スレ 27単位目 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
340(1): 2024/07/02(火)22:31 ID:sPBBtPN8(18/25) AAS
>>339
それはつまり、「x∈y または x=y」と「x⊂y」が
同値であることを示すということ。もちろん、これは示せる。
だが、それはそれで別の帰納法が必要。
それらを全て前提とした上で
>Sx∈Sxならばx∈xで、∅∉∅なんだから、x∉xなのは当たり前じゃん
と発言しているなら、確かに ¬(x∈x) は「当たり前」になる。
省4
341(1): 2024/07/02(火)22:32 ID:fVUU8q5M(6/12) AAS
>>340
何いってんの?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.035s