圣托马斯的论证是后验的，而先验的论证（指通过先天理性就能得到，不须借助后天对客观实在的认识的论证）则是由11世纪经院哲学家安瑟伦首先提出的本体论的论证。安瑟伦的论证如下：这个论证被圣托马斯批评，因为圣托马斯认为神的超越性使得它不能被人类定义。德国哲学家康德对本体论论证提出了逻辑上的反驳。他认为安瑟伦混淆了“神”和“神的概念”，以及“存在”和“现实存在”。安瑟伦只证明了神的概念中应该包含神现实存在，但“神现实存在”的逻辑必然性，并不蕴含“神现实存在”的现实必然性。安瑟伦的证明只是同义反复。