科学理论模型作为知识的主要载体表征科学理论的结构，这种结构在精确科学中可以通过布尔巴基集合论中的“结构种”来加以公理化。结构种通过对与它相应的元素进行特定的幂集和笛卡儿积运算给出它的结构的定型式，然后通过规范扩展和关系的可传输性展示这种定型式在它的类中的普遍性。集合论的层级和关系如此丰富，以至于结构种可以这样构造，并使得科学模型以它们的全部复杂性作为它们的例示。所以，一方面在科学哲学的模型论的进路中，经验科学中的模型类是结构种的具体体现和实现，而结构种是模型类的数学本质。另一方面，从元科学的观点看，J.史纳德和他的追随者将科学模型划分为七类，即潜在模型 M_P、实在模型 M、部分潜在模型 M_PP、总体约束 GC、总体连接 GL、粗糙模型A以及预期应用I，并加以扩展，其来源不仅仅来自布尔巴基，而且来自科学的认识论，并反映了人类的认知过程。