Russell's paradox
フレーゲの『算術の基本法則』第2巻が刊行直前に控えていた1903年に、ラッセルから後にラッセルのパラドックスと呼ばれるパラドックスの指摘が来たため、フレーゲはパラドックス解消を目指すが、最終的には数学的な方法の徹底を放棄した。ラッセルはフレーゲとは独立に、型の理論（タイプ理論）と呼ばれる方法で、彼自身が発見したパラドックスを避けることに成功したが、その無矛盾性および完全性が証明されていなかった。