We can construct ME by using the technical methods in modal logics to define general valid formulae.

• 我们可仿造真性模态逻辑的技术方法定义普遍有效式，构造极小正规认知系统ME。