ラッセルの逆理を勝手に自習しようぜ（＾～＾）？

「　👇　ラッセルの逆理を勝手に自習しようぜ？」

📖 第1回 数理手法IV - 1　初めに

「　AtCoder には　もう飽きたか」

「　問題文を理解することができないのよ」

「　👆　x は 集合であり、 x は x に属さないぜ」

「　💻ドライブみたいなもんだろ。　📂フォルダーは　📂フォルダーに入るが、　💻ドライブは　💻ドライブに入らないぜ」

「　じゃあ　💻ドライブは何か　矛盾してんの？」

「　👆　ひとまず　べき集合を　図にするかだぜ。
💻ドライブは💻ドライブを入れれないが、📂や📄を入れれる。
📂フォルダーは📂フォルダーを入れれるし、📄も入れれる。
📄ファイルは📄ファイルを入れれないし、それどころか何も入れれないやつ。テキストは入るかも」

「　💻ドライブと📄ファイルは　自分を入れれない入れ物　として同じでは」

「　👆　今関心がある図は　こうか。
自分を入れれない入れ物　💻ドライブ　VS　自分を入れれる入れ物　📂フォルダー」

「　💻ドライブ　も　📂フォルダー　も現存するんだから　矛盾してないんじゃないの？」

「　👆　💻ドライブか　📂フォルダーか　どちらか２択ででしか　答えてはいけないとしようぜ」

「　👆　原っぱに　📂フォルダーの群れが居るとしようぜ。
こいつらを入れれるのは　💻ドライブか　📂フォルダーか　どっちだぜ？」

「　どっちでも　入れれるのでは」

「　👆　原っぱに　💻ドライブの群れが居るとしようぜ。
こいつらを入れれるのは　💻ドライブか　📂フォルダーか　どっちだぜ？」

「　どっちでも　入らないぜ」

「　👆　無理にでも入れるのを　試してくれだぜ」

「　👆　ｘが　ｘに属するのは　定義に反するぜ」

「　👆　📂フォルダーが　💻ドライブ　を含めれるかどうか　言及がないぜ」

「　👆　💻ドライブは　📂フォルダーを含めれるとは言ったが、ラッセルの逆理とは　関係がないぜ」

「　👆　📂フォルダーは　📂フォルダーを含めれるとは言ったが、ラッセルの逆理とは　関係がないぜ」

「　なんにも　パラドックスが　起こってないんだけど」

「　📂フォルダーがいたら　いけないのかな」

「　👆　じゃあ　💻ドライブ　か、　そうでないかの　２択な」

「　👆　ｘが　ｘに属するのは　定義に反するぜ」

「　👆　ｘが　ｘに属さないのは　定義に従うぜ」

「　どこに　逆理　があるのか　分かんないわね」

📖 Russell's paradox

「　👆　Wikipedia を読んでみようぜ」

「　👆　すぐには　そんなこと言えないと思うが」

「　筆算してみようぜ？」

「　👆　フーム」

「　ちゃんと　代入できてないんじゃないの？」

「　👆　ウーン」

「　ラッセルの逆理にも　もう飽きたか」

「　👆　数学チャンネルで　いろいろ聞いてきたぜ」