In fact, if there is a standard submodel, then there is a smallest standard submodel called the minimal model contained in all standard submodels.
實際上，若存在一個標準模型，則會存在一個包含於所有標準模型中的最小標準模型，稱之為最小模型。