（定理４）。在S5模态逻辑系统的框架下，这项结论可谓全然有效，因此相当惊人。然而，若使用相同的逻辑推论去假设极致伟大的存有不存在，也同样没有任何自相矛盾之处。
证明.
圣安瑟伦的论点.11世纪的意大利僧侣圣安瑟伦，其论点用最简洁的表达如下：「God, by definition, is that than which a greater cannot be thought（i.e.formula_3）. God exists in the understand