关于逻辑中的集合概念与非集合概念