即不存在语句，其所言说的 ω 就是真正的 ω ，达到言说 ω 的效果。
理论只是语句的集合，语句本身只是单纯的句子，我们所需要的是其所表达的语义——所指的对象，而这本身将会构成对语句的解释。称 M 是理论 T 的模型，在于 M 能够成为 T 的语义解释，包含全部 T 中语句所指的对象。
由哥德尔(语义)完备定理，一阶理论的一致性与其模型的存在性等价，但由哥德尔(语法)不完备定理，包含初等算术的理论无法证明自身的一致性。
而一个理论 T 是一致的，仅仅是关于 ω 的一个事实，即不存在一个自然数 n，n 编码了 T 中语句推导 0=1(矛盾式) 的证明序列。
假如存在可以言说真正的 ω 存在的语句 p，我们就把它加入理论 T，记为 T[p] 。
那么以 ZFC[p]+“ZFC[p]是一致的”的为例，由于 ZFC 可以证明哥德尔完备性定理，所以 ZFC 就可以根据“ZFC[p]是一致的”证明存在一个 ZFC[p] 的模型 M，因为 M 也是 p 的模型，所以 M 中的 ω 就是真正的 ω 。
又因为 M 是 ZFC[p] 的模型，这就意味着 ZFC[p] 是一致的，ω 中就不会存在一个自然数 n 编码 ZFC[p] 到矛盾式的证明。所以“ZFC[p]是一致的”就在 ω 中成立并且在 M 中成立。
所以，M 就是 ZFC[p]+“ZFC[p]是一致的” 的模型。
而 ZFC[p]+“ZFC[p]是一致的” 又证明了 M 的存在。
所以，ZFC[p]+“ZFC[p]是一致的” 就证明了 “ZFC[p]+“ZFC[p]是一致的” 是一致的”，即证明了自身的一致性。
由哥德尔不完备定理可知 ZFC[p]+“ZFC[p]是一致的” 是不一致的。
所以就根本不可能存在语句 p 这样一个能够言说出真正的 ω 的语句——除非这个理论不一致——但这也并非代表这样的语句真的存在，而是说哪怕假设它存在，也是必然会引发矛盾的语句。
可以说真正的 ω 是只在神中实现的绝对实无穷。