大写英文字母表示 系统名元 O X Y Z

小写英文字母表示 任意类元 a b c d

小写希腊字母表示 语境状元 αβγδ

于是，使用“状元”之后就可以避免使用存在量词，简化了演绎逻辑形式系统。蒯因就不必在逻辑哲学中讨论“何者存在”了。事实上，假如数学不断言存在什么，而只断言不存在什么，我们虽然得到一个更少定理的系统，但并不伤害系统揭示数学真理的能力。

“蕴涵怪论”当然是个轻轻的误会。在“点”之后，引入“集”，在“集”之后，引入“数”。看待哥德尔不完全定理的证明，如果明白形式系统的语句如何产生语义，那么，哥德尔存在性地描述的那个不可证明语句并不是真的。

从“点”的形式系统，可以导出算术定理，并证明算术的一致性。希尔伯特23个问题中的第4问题，系统性地消失了。

因为公理集是非递归的，哥德尔描述性讨论的不可证明语句不存在。

连续统假设是不是还可以表述？目前还不清楚。