ラッセルの逆理： 自分自身を含まない集合全体は集合ではない。ツォルンの補題 3-2