F(F∨O)=F(F)∨F(O)或いは、￢F(F∨O)=￢F(F)∨￢F(O) 比較検討：Gödel's ontological proof - Wikipediaー『その中で、ゲーデルは、ライプニッツの主張について、公理系を解明しつつ様相論理の手法を用いて明確な定式化を試みた。』（クルト・ゲーデル - Wikipe…