有用性先于存在性

虚数在被证明"存在"（如果能证明的话）之前，已经被证明"有用"。三次方程必须经过虚数运算才能得到实数解——有用性是独立于存在性问题的。这暗示：对一个新概念，先问"它能做什么"，再问"它是什么"。