xに題名を代入します。 堅苦しくすることで、話をうやむやにします。 今日、∫(x-y)に、範囲xで出会いました。 ただ、∫(x-y)∈xが、∫(x-y)∈¬xであることは証明されていません。 恐らく、∫(x-y)∈xは偽であるだろうと考えます。 しかし、不思議で楽しいt∈xでした…