>>946 >>947
＞＞③「∀x∀y．x=y」だけからなる公理系は相等関係をもつ理論であるが、
＞＞　これは無矛盾であり、1元モデル（有限モデル）しかもたない。
＞これも間違い。
＞この場合は、モデルの中でも、正規モデルの範囲で考えている。
ということは、個体の同一性のような、こんな基本的なことを表す
述語がないということですか？