考慮兩個量化理論的定理：
- (1) ，
- (2) 。
這兩個定理的陳述卻並非是邏輯真理，因為這依賴於宇宙中有某物存在。
Langford 認為， 和 不構成真正的對立，它們共享了「 存在」作為邏輯結果。因此 (1) 可以從 加上「 存在」邏輯地推出。
Quine 並不同意 或 能夠推出「 存在」，同時他也反對 能夠推出 (1)。
Quine 認為，可以對原子單一陳述 任意賦值，看哪一個比較方便，並讓邏輯系統遞迴地決定包含這些陳述的語句的真值。因此若只要 無法命名 就是假的，這麼一來 便推不出「 存在」。