一見、集合論が矛盾していて論理学に用いることができないように思われていたところを集合論の正しい使い方を導入することにより完璧な論理学に結実させたのがプリンキピア・マテマティカ
これ以前の数学は最早数学では無いと言っても良いレベル