Bevezetés Szerintem a legegyszerűbb logikai istenérv ez: (1) Isten = Isten (axióma) (2) Isten = Isten → ∃x. x = Isten (logikai igazság)                                         (3) ∃x. x = Isten  (Értsd: Van Isten.) (modus ponens)  Egy ateistának azt kell mondania, hogy az (1) mondat a szó…