bertrand russell frege 's construction flawed bertrand russell discovered basic law v inconsistent russell 's paradox frege abandoned logicist program soon continued russell whitehead attributed paradox vicious circularity built called ramified type theory deal system eventually able build much modern mathematics altered excessively complex form example different natural numbers type infinitely many types also make several compromises
Humanities Philosophy Applied philosophy Philosophy of mathematics