例えば述語論理で言語の定数が0,1,2のとき、
「∀xP(x)が真」を、「P(0)が真＆P(1)が真＆P(2)が真」
と置き換えて解釈をする流儀。
モデルの側の領域と無関係と考えるような意味論。
ただ強完全性とコンパクト定理が成り立たない。