存在汎化
クワインによれば、普遍例化と存在汎化は、「∀x x=x」が「ソクラテス=ソクラテス」を意味するという代わりに、その否定の「ソクラテス≠ソクラテス」が「∃x x≠x」を意味すると言うこともできるという、単一の原則における2つの側面である。しかしそれは形式上の原則でもある。これは、用語名がある場合、そしてまた指示がある場合にのみ成り立つ。