第四节 公理化中的结构种与模型类