1至4的证明.Lemma 1:Lemma 2:Lemma 3:Th. 3的证明:
证明中用到的公设.哥德尔证明中的公设有5项：然后我们假设对于所有正特性，以下几个条件正确（可被总结为「那些正特性们形成了一个超滤子」）：
批评.对哥德尔本体论证明的大部份批评，皆在于其公设部份。正如任何逻辑系统，假如其所依赖的公设备受怀疑，则结论也会受到怀疑。此情况特别适用于哥德尔的证明，因为其所依赖的5条公设，全部也是可以质疑的。此证明并不表示其结论正确