existential theory of the reals

值。該最小值稱為直線交叉數（rectilinear crossing number）。該問題對於實數的存在理論（英语：existential theory of the reals）是完全的。 另一方面，對於固定的常數 k {\displaystyle k} ，有高效算法判定交叉數是否小於 k {\displaystyle

(2008) on the Square of Opposition[永久失效連結] Stanford Encyclopedia of Philosophy article （页面存档备份，存于互联网档案馆） History of the Problem of Existential Import

(1967)、Hailperin (1957) 和 Mendelsohn (1989) 给出。 K. Lambert, "Existential Import Revisited", Notre Dame Journal of Formal Logic, October 1963, p.288-292

{\mathcal {D}}} 。雖說如此，只要對公式做出一些限制，就會有以下交換的直觀定理： （Ce）－Commutativity of existential quantification —  若變數 x {\displaystyle x} 於公式 Q {\displaystyle {\mathcal