在中世纪的神学哲学中，有很多关于上帝存在的本体论证明，特别是托马斯·阿奎那提出好几个版本的证明。从现在的角度来看，这样的证明显然是没有多少效力，但作为一个思维游戏，要找到破绽似乎也不是很容易的事情，下面我们就来玩一玩这个证明上帝的小游戏。
    第一个论证是对上帝存在的宇宙论论证，简单说就是每个东西都有它的原因，那么就一定有一个最早的原因，那个原因就是“我们所谓上帝”。这样版本的论证有很多后续版本，比如说牛顿的第一推动力，大爆炸之前奇点等等，似乎都被解释为上帝存在的地方。这样的论证与其说证明上帝存在，倒不如说是设定一个完美的初始条件，而这个初始条件是与后面的事情处在同一个层次上的，设定完之后似乎就发挥不了什么作用了。假若上帝真的存在，估计他会对这样的论证哭笑不得，假若我们都生活在某一本书里，然后一直向前追溯，等找到第一个字的时候，就把它称为是上帝，当然更可能的情况是把第一个字前面的空白称为上帝，总之是追不到作者头上的啊！
    托马斯·阿奎那还有个与其类似的因果论论证，基本上是抽象的原因代替具体的东西，然后在抽象的因果链条中寻找初始条件。这个论证的解释可以与宇宙论的论证基本类似。只是在上面的比喻中，用抽象的情节代替具体的文字罢了，所谓的上帝可能是第一个情节，也可能是故事前面隐藏着的基本设定吧。
    第三个论证是基于必然性存在论证，大意是说世界上的事物大都是偶然的，但若是每个事物都是偶然的，那就是不可思议的，所以一定有个必然的东西存在，那就是“我们所谓上帝”。从概率的角度来看，概率在(0,1)的都是偶然性，它要占到绝大多数情况，但中世界概率理论还没有明确出现，结果就只能用模糊的语言来概括，这就使得必然和偶然就变成了同一层次的事情，就使得都是偶然变得不可思议了。事实上，即便情况真的如此，也完全不像阿奎那所描述的那么糟糕，我们可以把必然作为偶然的逼近，用一个收敛于端点概率序列来达到类似必然的效果。
    第四个论证是基于完满性的存在论证，大意是存在的事物由或多或少的完满性，可以构成一个指向完满的序列，那么那个被指向的最为完满的东西就是“我们所谓上帝”。这就相当于有个通过无穷远处的序列，但当时的数学还有没有收敛的概念，只能一厢情愿的认为它的收敛于上帝的。
    第五个论证是上帝存在的目的论论证，大意是说宇宙万物都有一个固有的秩序，存在着一个从事设计的精神，那么这个设计者就是“我们所谓上帝”。实际上，这个论证是最难反驳的，直到进化论出现之后，人们才算是逐渐明白，这里的秩序并不一定要是自上而下的设计，也可能是自下而上的进化。
    总而言之，这些论证大都带有人工的痕迹，大概托马斯·阿奎那本人也隐约体会到这一点，所以就不说证明出来的存在物是上帝，而只说是“我们所谓上帝”。从某种意义上来说，上帝只是人类说话的一种方面，就好像是在平面上添加一个无穷远点，然后就能变形成完满的球面。