ゲーデルの神の証明ってあるでしょ? P(φ) φは肯定的(またはφ∈P). 公理1.P(φ).P(ψ)⊃P(φψ). 任意の数の連言 公理2.P(φ)∨P(〜ψ). 排反的選言 定義1.G(x)≡(φ)[P(φ)⊃φ(x)](神) 定義2.φEss.x≡(ψ)[ψ(x)⊃N(y)[φ(y)⊃ψ(y)]]. (xの本質) xの任意の二つの本質は必然的に同値である。 p⊃nq=N(p⊃q).必然性 公理3.P(φ)⊃NP(φ) 〜P(φ)⊃N〜P(φ)性質の本性より導かれる。 定理.G(x)⊃GEss.x. 定義.E(x)≡(φ)[φEss x⊃N(∃x)φ(x)].(必然的存在) 公理4.P(E). 定理.G(x)⊃N(∃y)G(y), ゆえに(∃x)G(x)⊃N(∃y)G(y); ゆえにM(∃x)G(x)⊃MN(∃y)G(y).(Mの可能性) M(∃x)G(x)⊃N(∃y)G(y). M(