 The set-theoretic paradoxes constitute a significant challenge to the foundations of mathematics. They show that it is impossible to have a concept of set satisfying the unrestricted comprehension principle (also called full comprehension or unrestricted abstraction):