ゲーデルの神の証明ってあるでしょ？ P(φ) φは肯定的（またはφ∈P). 公理1.P(φ).P(ψ)⊃P(φψ). 任意の数の連言 公理2.P(φ)∨P(〜ψ). 排反的選言 定義1.G(x)≡(φ)[P(φ)⊃φ(x)]（神） 定義2.φEss.x≡(ψ)[ψ(x)⊃N(y)[φ(y)⊃ψ(y)]]. (xの本質) xの任意の二つの本質は必然…