lɐ ðəmʊstɾɐsjˈo ʊntʊlˈɔɣikɐ ðə ɣʊðˈɛl es ˌunɐ fʊrmɐlidzɐsjˈo ðəl pɾinsˈipi ðɐnsˈɛlm də kɐntərβˈuri: əl sˈɛw ɐrɣʊmˈen ʊntʊlˈɔɣik pə ləɡzistˈɛnsiɐ ðə ðˈew pəl mɐtəmˈatik kˈuɾt ɣʊðˈɛl.
La demostració ontològica de Gödel és una formalització del principi d'Anselm de Canterbury: el seu argument ontològic per l'existència de Déu pel matemàtic Kurt Gödel.