>>886乙

でも大小の定義多分間違ってる
0≦0⇔(φ,φ)≦(φ,φ)⇔¬(φ≧(φ,φ))∧¬((φ,φ)≧φ)⇔¬(x∈φ⇒x≧(φ,φ))∧¬((φ,φ)≧φ)
x∈φ⇒x≧(φ,φ)は真だから0≦0が偽になる？（？）