飽和模型 在模型論中飽和模型可以大致描述為一個實現夠小的型的模型