并不是建立在集合论模型上的well-defined的集合。所有可能的解释的集合究竟是什么集合，范围有多大等，集合成员的归属性如何定义等都没有。所以
光从形式逻辑上是无法举反例的。此外，面对具体的实验，即使你想像
不出有多个解释，也不能从逻辑上证明不存在别的解释。所以，奎因-迪昂
命题在理论上是无法靠反例来驳倒的。相反的，在几乎所有可能想像的情形中，都可以找出无穷多个不同解释。