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.