>>406
ラッセルのパラドックスなど、数学の基礎的な困難に対する解決策を与えました