两分法系统共包括（）个大类，（）个基本类型、（）个类型。