از زمانی که گودل تلاش کرد صورتبندیای منطقی از برهان وجودی ارائه دهد، بحثهای قابل توجهی دربارۀ اعتبار برهان وی صورت گرفته است. برای مثال، سوبل تلاش میکند کاستیهای برهان گودل را نشان دهد. پتر هایک، منطقدان و ریاضیدان اهل جمهوری چک، تلاش میکند برهان