Tanrı vardır çünkü tanrı yoktur argümanını, "Tanrı yoksa tanrı vardır, ve tanrı yoktur" şeklinde bir önerme olarak yeniden yazabiliriz. Bunu mantık yasalarına göre incelerseniz, bunun bir çelişki olduğunu görürsünüz.