Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language.

• 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。