哈哈哈，俺可不敢贪天之功。这个本体论最早是由中世纪哲学家伊本·西那和安瑟伦提出的。笛卡儿和莱布尼茨也做过进一步的发展，

后来提出不完备定律的哥德尔还通过模态逻辑给出了本体论证明的数学表达式。

俺只是觉得本体论的证明还是有些瑕疵罢了。