※PC・スマホの表示回数をカウントしてます。※24時間表示がないスレのPVはリセットされます。全て通報したいレス番のチェックを選択ページ内のIDをクリックすると本文に自動入力。読んでくれてるのおおきに〜。嫌になったらまた後で来てくれな〜。ゆまちゃん持って行くのは杏子ちゃんがキレるやで〜。{x:φ(x)}って形で書くことを「内包的記法」と言うんや。内包的記法、便利やからおぼえておいておくれやす〜。ID:HDy主ところがぎっちょん。この内包的記法、厄介なものを生み出してもうたんや。それは有名なラッセルのパラドクスっちゅーやつやな。{x:x=x}っちゅー集合を考えてみよか。これはxがxとなるような集合全体の集合や。「全ての魔女を生まれる前に消し去りたい。ID:HDy主そうは問屋が卸さんのやったな。こやつを認めてしまうと、矛盾が起きるんや。さっきのなんでも集合をVと置きまひょか。せやんと、x∈Vが導かれるな。「千歳ゆま」∈{x:xは魔法少女}という風に使うやで。ID:HDy主ほんまこれ反則技なんや。なんでも集合になるからな。これがそうではないことを今から見るんや。ID:HDy主わかってくれるってことはここのモキュたち教養豊かやな。ID:HDy主ここで∈の記号の導入を行ったから、次は¬の記号を導入するやで。¬は論理式の否定を行うんや。論理式っていうのは、命題や。命題の否定をするんや。¬の取る引数は、全部論理式や。