语构范畴理论及其对罗素悖论的消解