En form av logik som visar att Gud finns?

För några år sedan så visade en kompis som läste någon form av matematik på högskolan (eller nåt liknande) en logisk förklaring till varför Gud finns. Han tog logiska föresatser och ställde upp dem i stil med om A>B+C osv. och vips så tyckte han att det stämde.

Efterlyser detta. Någon som vet?

Något av detta kanske...
http://susning.nu/Gudsbevis

antagligen bygger det på ohållbara premisser

Japp, var väl nåt liknande jag letar efter..

Träffade en gång en person som hävdade det ontologiska gudsbevisets riktighet.
Vilken sjuk individ, jag slutade ganska snart tro på dennes riktighet.

Minns ej detaljerna och har ej ork att slå upp dem, men det Thomas av Aquino presterade väl ett hyfsat 'gudsbevis'? (Hyfsat i bemärkelsen att det förför dem som VILL tro på det.)