20世紀初頭においてバートランド・ラッセルはこの矛盾を解決するためにアルフレッド・ノース・ホワイトヘッドとの共著『数学原理』(principia mathematica)を発表し、集合論に基づいて数学の研究成果を統合し、記号だけでそれらを証明した。