补充资料：种类

种类
species

　　种类【，cies;B“八]，逻辑中的 在直觉主义中相当于集合的概念;一个精确地形成的用以从一个已经定义了的事物的群体中分离出某些事物的判断法则.要特别注意，定义种类的条件要放在直觉主义的意义上来理解，所以，例如一个条件的双重否定不一定等价于原来的条件.种类上定义的运算自然地类似于集合上定义的运算，譬如并、交和其他运算，但由于它们被理解为是在直觉主义的意义上的(见直觉主义(intuitionism))，所以这些运算的性质往往与相应的古典的性质有所不同.因此论断余种类的余种类等同于原来的种类是不适用于直觉主义的种类理论的. 在构造种类的理论时，通常的悖论可以由规定种类的成员的定义独立于种类本身的定义来避免.直觉主义的理论诸如直觉主义算术或直觉主义数学分析可以一点也不涉及种类的概念地构造出来，但在更为抽象的数学领域中(直觉主义的证明论，语义学，泛函分析)开发种类的理论是一个根本的理论部分.
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。