哈哈哈，俺可不敢貪天之功。這個本體論最早是由中世紀哲學家伊本·西那和安瑟倫提出的。笛卡兒和萊布尼茨也做過進一步的發展，

後來提出不完備定律的哥德爾還通過模態邏輯給出了本體論證明的數學表達式。

俺隻是覺得本體論的證明還是有些瑕疵罷了。