Kurt Godel (1906-1978 ) pakar matematika kelahiran Austria pernah menulis
Axiom 1. (Dichotomy) A property is positive if and only if its negation is negative.
Axiom 2. (Closure) A property is positive if it necessarily contains a positive property.
Theorem 1. A positive property is logically consistent (i.e., possibly it has some instance).
Definition. Something is Godlike if and only if it possesses all positive properties.
Axiom 3. Being Godlike is a positive property.
Axiom 4. Being a positive property is (logical, hence) necessary.
Definition. A property P is the essence of x if and only if x has P and P is necessarily minimal.
Theorem 2. If x is Godlike, then being Godlike is the essence of x.
Definition. NE(x): x necessarily exists if it has an essential property.
Axiom 5. Being NE is Godlike.
Theorem 3. Necessarily there is some x such that x is Godlike.
Anda mengerti apa yang dikatakan om Godel? kalo saya enggak soalnya saya gak bisa bahasa inggris, menurut saya Tuhan itu adalah aksioma, adalah titik awal dari segela awal bukan theorema yang harus kita cari pembuktiannya
Blog Matematika Pak Satria 
Ini kalo gak salah pakenya logika modal, pak http://en.wikipedia.org/wiki/Modal_logic yg notasinya aneh2. Logika dasar aja saya masih sering bingung, haha…
dan ngomong2 banyak kok mengkritik pembuktian godel ini, secara kaidah logika udah bener, cuma ada apanya gitu yg keliru… CMIIW
Saya ingat dulu pernah baca ada yg memakai kerangka logika yg sama dan membuktikan kalau vampir itu ada [cuma untuk menunjukkan pembuktian ini absurd]
tapi entahlah, saya sih belum berani mengkritik, ilmu saya masih jauh 🙂
Ya aksioma2nya yang dipedebatkan
Ntu menurut matemamatik..matematik menurut godel tidak mengandung kebenaran. Bagaimana bisa matematik bicara kebenaran apalagi mendefinisikan aksioma itu tuhan.
Pingback: Pembuktian matematis tentang keberadaan tuhan | Free E-Book
Jujur, aku sama sekali gak ngerti ma bahasa matematika kayak di atas. Blazzzz…..,gak mudeng. :8