formal logic russell 's paradox discovered bertrand russell existed set could defined using possible sets included bertrand russell proposed various theories type fix problem russell arrived ramified theory types together axiom reducibility featured prominently whitehead russell 's ''principia mathematica'' published system avoided russell 's paradox creating hierarchy types assigning concrete mathematical possibly entity
Formal science Computer science Logic in computer science Type theory