Up

6.4.0　イントロ

---

述語論理を，等号の付加によって拡張する。この拡張された述語論理を，“等号をもつ述語論理”と呼ぶことにする。