ラッセルは単なる証明だろ、集合全体の成すクラスがプロパーであることの。