並不是建立在集合論模型上的well-defined的集合。所有可能的解釋的集合究竟是什麼集合，範圍有多大等，集合成員的歸屬性如何定義等都沒有。所以
光從形式邏輯上是無法舉反例的。此外，面對具體的實驗，即使你想像
不出有多個解釋，也不能從邏輯上證明不存在別的解釋。所以，奎因-迪昂
命題在理論上是無法靠反例來駁倒的。相反的，在幾乎所有可能想像的情形中，都可以找出無窮多個不同解釋。