一阶格值逻辑上的Mostowski定理

使用组合计数法建立了有限可补格上的一阶格值逻辑的Mostowski定理。