パラドクスが高次元で解消されているのだから、ラッセルの「型理論」は、弁証法だろう。
つまり、哲学的な解決である。