- 8 名前：1 [04/10/15 14:41:51]
-
おさわがせしました。
∀ξ（ξ=ξ）の誤植みたいです。
あと、その次につづく公理
(ξ=ζ)→(ρ(・・ξ・・)=(ρ(・・ζ・・)) ρはｎ変数関数記号をあらわす図式文字
ただし、ρは任意のｎ変数関数記号で、ρ(・・ξ・・)は項ρ(・・ξ・・)の個体変数ξの現れの１つ以上（いくつでもよい）をζで置き換えてえられる項とする
について、
本に例などがなく、つまるところ、これは、何だ？、ということで悩んでいます。
どなたか、おわかりの方、この公理図式からつくることができる論理式の、具体的な例を、挙げていただけないでしょうか。
