五路论证.圣托马斯·阿奎那提出的五路论证是后验的方法，也就是说通过后天所得的经验来论证神的存在。
本体论的论证.圣托马斯的论证是后验的，而先验的论证（指通过先天理性就能得到，不须借助后天对客观实在的认识的论证）则是由11世纪经院哲学家安瑟伦首先提出的本体论的论证。安瑟伦的论证如下：这个论证被圣托马斯批评，因为圣托马斯认为神的超越性使得它不能被人类定义。德国哲学家康德对本体论论证提出了逻辑上的反驳。他认为安瑟伦混淆了“神”和“神的概念”，以及“存在”和“现实存在”。安瑟伦只证明了