" ɡʊttfɾjˈɛt ləjbmˈiz ʋˈa ðʊnˈa ˌunɐ ʋərsjˈo mˈes əlɐβʊɾˈaðɐ; ɐkˈɛstɐ es lɐ ʋərsjˈo kˈɛ ɣʊðˈɛl ʋˈa əstʊðjˈa i ʋˈa intəntˈa klɐɾifikˈa ˈam əl sˈɛw ɐrɣʊmˈen ʊntʊlˈɔɣik.
" Gottfried Leibniz va donar una versió més elaborada; aquesta és la versió que Gödel va estudiar i va intentar clarificar amb el seu argument ontològic.