学家、神学家圣托马斯·阿奎那首先提出了论证神存在的五种方法，被称为“圣托马斯五法”。圣托马斯是自然神学首批提倡者之一，是托马斯哲学学派的创始者。他的五种方法是用后验的方式论证神的存在。
圣托玛斯的五路论证.圣托马斯·阿奎那提出的五路论证是后验的方法，也就是说通过后天所得的经验来论证神的存在。
本体论的论证.圣托马斯的论证是后验的，而先验的论证（指通过先天理性就能得到，不须借助后天对客观实在的认识的论证）则是由11世纪经院哲学家安瑟伦首先提出的本体论的论证。安