5.2 模型理论与构建