Hume haklıydı. Bir tanrının varlığı aposteriori olarak gösterilemez, varlığını deneyim dünyasında deneyimleyemezdik ve bu yüzden de varlığıyla ilgili bir ontoloji kurulamaz, kurmaya çalışmak karanlık bir odada olmayan bir kediyi bulmaya benzerdi. Descartes sonunda tanrının varlığını kanıtladığını idda ettiğinde ki bu soyut kartezyenik bir düzlemde gerçekleşmişti hume ona şöyle söyleyecekti:
Tanrının varlığı apriori olarakta kanıtlanamaz çünkü senin akıl yürütmen sadece senin akıl yürütmendir. Oysa apriori olarak doğru diyebileceğimiz önerme çeşidi matematik ve geometridir. Odanın ışığını yakan hume kapıyı açan da kant olacaktı.