A Property of Upper Bounded Ordinal of the Model of ZFC

• ZFC的模型的上限序数的一个性质