上帝实存的本体论证明是哲学史上著名的论证。相比之前的学者,康德借助对于实存命题的探讨来对这一论证进行反驳。康德对实存命题的看法包含形式和认识论两个部分。在实存问题的形式部分中,康德提出,无论是否处在实存命题中,“存在”总是只能作为系词。在实存问题的认识论部分中,康德提出,实存命题的可能性通过“实存”这一模态知性范畴在认识过程中的运用得到辩护。这两个层面的解释可以被统合于康德所给出的术语:实存命题作为一种“设定/肯定”。因此,康德不仅反驳了对上帝实存的本体论证明,同时也反驳了一切没有经验根据的实存命题。康德在“上帝实存之本体论证明的不可能性”这一节中的论述,应该被看作康德对其实存命题观点的一次应用,而不应该被作为康德对“上帝”本体论意义的阐述。康德将这一传统哲学问题从本体论领域转化到认识论领域的思路,能够成功克服出于文化和学理上的诉求而对“上帝”概念产生的偏爱。