ちなみに、ZFCがラッセルのパラドックスを解決できているという証明は、
(現在のところ)ない。
ZFCもラッセルのパラドックスを抱えている可能性は排除できていない。