Russell's paradox
罗素悖论：设有一性質formula_1，並以一性質函数表示：formula_2，且其中的自變量formula_3有此特性：formula_4，