第四节 类别概念与充分理论