ɐjɕˈi, ɡʊðˈɛl ʋˈa ðəmʊstɾˈa sˈi ˈom ɐksˈɛpːtɐ ləs ðəfinisjˈons i ɐɡzjˈoməs kˈɛ kˈaðɐ kʊmbinɐsjˈo ðə pɾʊpjətˈats əɡzistˈɛjɕ ən ʊn ʊbʑˈɛktə ɐ kˈaðɐ mˈon ˈon ɐkˈɛʎɐ kʊmbinɐsjˈo ðə pɾʊpjətˈats əstˈidʑi ðəfinˈiðɐ, i kˈɛ ʊn ʊbʑˈɛktə ɐjɕˈi səɾˌiɐ ʊn dˈew sˈi ləs pɾʊpjətˈats son pʊzitˈiβəs.
Així, Gödel va demostrar (si hom accepta les definicions i axiomes) que cada combinació de propietats existeix en un objecte a cada món on aquella combinació de propietats estigui definida, i que un objecte així seria un Déu (si les propietats són positives).