Russell's paradox resulted in formulation of type theory and set theory.