>>217
2-ary *=*
2-ary **
∀x.x=x
∀x,y.x=y∧P(x)→P(y)
∀x,y,z.(xy)z=x(yz)
∃e∀x.xe=ex=x
∀x∃y.xy=yx=e
のモデルてこと