[過去ログ] 大学学部レベル質問スレ 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