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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
331
(2): 2024/07/02(火)21:41 ID:kdN4jCCa(2/6) AAS
>>329
>Sx∈Sxならばx∈xで

S(x)∈S(x)とする。x∈x を示したい。

まず、x∪{x}∈x∪{x} である。
x∪{x}∈{x} の場合は、x∪{x}=x である。
すると、x∈{x}⊂x∪{x}=x となるので、
x∈x に到達する。
省4
333
(2): 2024/07/02(火)21:48 ID:fVUU8q5M(4/12) AAS
>>331
x∈x∪{x}∈xなんだから、後者の場合もx∈xだろ
360: 2024/07/03(水)00:32 ID:TGrUpWe4(1/2) AAS
>>331
>S(x)∈S(x)とする。x∈x を示したい。
n+1∈n+1={0,1,…,n}
n+1=k∈{0,1,…,n}
n∈n+1=k={0,1,…,k-1}⊂{0,1,…,n-1}=n
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.044s