安瑟尔谟直接从上帝的观念中推出上帝存在，这是一种先天的论证。而托马斯·阿奎那认为安瑟尔谟的证明并不能使一个不信上帝的人被说服，因为这个证明方式把有待证明的结论当作了证明的前提，那些否认上帝存在的人绝不会承认上帝是一个完满的存在。
于是，托马斯·阿奎那提出了自己的“后天证明”，就是从人们已知的事实出发来推出其原因的“回溯式”证明方法。它们一共有五个，又被称为“圣托马斯五路证明”。
（1）既然世界上万物的运动均由其他物体推动，因而在一切事物之后必然有一个最终的存在者，它本身是不被推动的，但它却推动其他事物。就好比说，世界上有一个原始的动力，一个终极的动力，这个不动的推动者就是上帝。这第一路证明，就是从经验的受动—推动系列推出上帝是存在的。
（2）既然世界上每一事物都有一个原因，那么往前回溯必然有一个第一原因，它是自己的原因，又是万物存在的原因。这个第一原因就是上帝。这是从经验的因果系列推出上帝是存在的。
（3）既然世界上一切个别的存在物都是偶然的和可能的，它就必须以某种绝对必然的存在者作为最终的根据。这个必然的绝对存在者就是上帝。这是从偶然—必然系列推出上帝存在。
（4）既然世界上的事物都具有不同程度的完善性，这种有缺陷的完善性必定以最完善的东西为判定标准。这些至善的存在者就是上帝。
（5）世界上生物的活动都指向一个目的，以求获得最好的结果。所以必定有一个智慧的存在者，为生物制定目的，并且使整个世界具有一种合目的性。这个智慧存在者就是上帝。
以上就是托马斯·阿奎那五个关于上帝存在的推论。前四个是宇宙论证明，第五个是目的论证明。细心的朋友也许会发现，这五路证明似乎有点熟悉。
托马斯·阿奎那援引和改造了亚里士多德关于运动与变化、原因与结果、潜能与现实以及自然目的的学说，他是从有限的、相对的事物出发，上升到无限的、绝对的存在物即上帝。但是在托马斯·阿奎那的证明中，仍然隐含着两条先验的原则：
第一，无限回溯是不可能的；
第二，回溯的逻辑终点必须是基督教的上帝。
这两条原则本身是无法证明的，只能诉诸信仰。说到底，托马斯·阿奎那的五路证明，仍然是建立在信仰的基础之上的。
不过，托马斯·阿奎那提出这些证明的意义并不在于实际上证明了什么，而在于他坚持了从理性角度证明信仰内容的可能性。这代表了中世纪基督教哲学发展的一个阶段，这个阶段的精神特征就是寻求信仰和理性的和解。
托马斯·阿奎那所代表的这种和解精神，不同于基督教哲学中推崇神秘信仰、贬抑理性知识的奥古斯丁主义传统。它在无意中也开启了西方近代哲学的理性主义先河，启蒙运动中对宗教信仰进行猛烈批判的理性精神，最初恰恰是在小心翼翼地对宗教信仰进行逻辑证明的过程中成长起来的。从这个意义上说，近代的理性哲学与中世纪的神学有着密切的关联。
