04/10/13 18:26:50
数学基礎論の質問スレッドが、今、無いようなので、新しくたてました。
ほかに質問のある方、どしどしと、質問してみてください。誰かが、教えてくれることもあるでしょう。
さて、私の質問ですが、
『論理学をつくる』という本の、一階述語論理の公理系の例のところに、
公理として、 ∀ξ（ξ=ζ） ξ、ζは個体変項をあらわす図式文字
というものがあがっていました。
公理ということは、恒真式なはずなんだけど、それが、なぜ、恒真式なのかが、わからなくて、疑問におもっています。
どなたか、わかる方、お教えください。