罗素悖论
罗素悖论是著名的非直谓性构造: “不包含自身作为成员的所有集合的集合”。悖论是这种集合是否包含自身 - 如果包含则根据它的定义它应当不是，而如果不是则根据它的定义它应当是。