素朴な集合論 - らんだむな記憶で 「集合すべての集合」というものを考えて $X$ という名前をつける。すると、$X$ 自身もまた集合であって、$X$ はすべての集合を含むのであるから、$X \in X$ が成立する。こういう集合の集合的なものを第2種だとか第2類とか…