Tanrının varlığının tanıtlamasındaki bu özelikler gibi var olmak da tanrıya yüklenebilecek bir özellik olarak varsayılır. Kant buna karşı çıkarak “var olma gerçek bir yüklem değildir” deyip bunu ayrıntılı bir şekilde savunmuş olsa da, varlık yargılarının bir çözümlemesini açık bir şekilde ortaya koyamamıştır.