Ontologinen todistus eli Jumala täydellisimpänä ajateltavissa oleva olentona Anselm Cantenburylaisen ontologinen todistus etenee seuravaasti: Jumala on olemassa ymmärryksessä, mutta ei todellisuudessa. Olemassaolo todellisuudessa on suurempaa kuin olemassaolo vain ymmärryksessä. Olento, jolla on kaikki Jumalan ominaisuudet sekä lisäksi olemassaolo todellisuudessa, voidaan käsittää. Olento, jolla on kaikki Jumalan ominaisuudet sekä lisäksi olemassaolo todellisuudessa, on suurempi kuin Jumala. Olento, joka on suurempi kuin Jumala, voidaan käsittää On epätotta, että mitään suurempaa kuin Jumala voidaan käsittää, koska Jumala tarkoittaa sitä, mitä suurempaa ei voida käsittää. On epätotta, että Jumala on olemassa ymmärryksessä mutta ei todellisuudessa.

Kosmologinen todistus eli Jumala ensimmäisenä liikkeellepanijana ja syynä Tuomas Akvinolaisen esittämä kosmologinen todistus koostuu seuraavista argumenteista: Tyhjästä ei voi syntyä mitään. Puiden lehdet eivät liiku itsekseen, vaan niitä liikuttaa tuuli. Kun tätä vaikutussarjaa jatketaan loppuun asti, päädymme ensimmäiseen liikuttajaan, primus motoriin, joka on Jumala. Jokaisella tapahtumalla on jokin syy, jolla vuorostaan on jokin syy, jne. Lopulta päädymme alkuperäiseen syyhyn, primus causaan, joka on Jumala. Jokainen todellinen mahdollisuus tapahtuu ainakin kerran. Siispä kaikki väliaikaiset asiat ovat joskus olematta. On kuitenkin oltava jotain ikuista, sillä muuten joskus olisi tilanne, ettei olisi olemassa mitään, eikä siitä voi syntyä jotain. Siispä jonkin ikuisen on oltava olemassa, ja tämä onkin Jumala

Teologinen todistus eli Jumala suurena suunnittelijana Teologisen todistuksen mukaan kaikella on tarkoituksensa. Koska maailma on toimiva, täytyy sillä olla myös tekijä, aivan kuten vaikkapa kellolla. On myös hyvin epätodennäköistä, että kaikki olisi syntynyt sattumalta.

Moraalinen todistus eli Jumala omantunnon asettajana Moraalisen todistuksen mukaan eri kansojen ja uskontojen yhtenevät moraalikäsitykset todistavat jumalallisen lainsäätäjän olemassaolon puolesta Pelurin jumalatodistus ”Jos Jumala on olemassa, hän on kaikkihyvä olento, joka lupaa meille ikuisen elämän. Ja ikuisen elämän saa vain, jos uskoo Jumalaan, siis kannattaa uskoa.” -Blaise Pascal

Klassisia jumalatodistuksia Ontologinen todistus Jumala on täydellisin kuviteltavissa oleva olento. Jos häntä ei olisi olemassa, ei hän olisi täydellisin. Kosmologinen todistus Jumala on kaiken alkuunpanija ja syy. Teologinen todistus Jumala on suuri suunnittelija, sillä kaikella on tarkoituksensa. Moraalinen todistus Yhteneväiset moraalikäsitykset ovat jumalallisen lainsäätäjän asettamia.

Ateistinen todistus Jumala on Kaikkivaltias ja Hyvä Kaikkivaltias ja Hyvä poistaa pahan Maailmassa on pahaa Koska Jumala ei poista pahaa maailmasta, Hän joko ei ole Kaikkivaltias, tai Hän ei ole Hyvä Jumala ei ole Kaikkivaltias ja Hyvä Kristillinen usko väittää Jumalan olevan Kaikkivaltias ja Hyvä Tällaista olentoa ei ole olemassa Jumala ei ole olemassa