- 1 名前：1 [04/10/13 18:26:50]
-
数学基礎論の質問スレッドが、今、無いようなので、新しくたてました。
ほかに質問のある方、どしどしと、質問してみてください。誰かが、教えてくれることもあるでしょう。
さて、私の質問ですが、
『論理学をつくる』という本の、一階述語論理の公理系の例のところに、
公理として、 ∀ξ（ξ=ζ） ξ、ζは個体変項をあらわす図式文字
というものがあがっていました。
公理ということは、恒真式なはずなんだけど、それが、なぜ、恒真式なのかが、わからなくて、疑問におもっています。
どなたか、わかる方、お教えください。
- 438 名前：１３２人目の素数さん mailto:sage [2005/05/23(月) 22:26:24 ]
- ∀y(y∈Y → ∃x∈X(f(x)=y))
- 439 名前：１３２人目の素数さん mailto:sage [2005/05/23(月) 22:26:58 ]
- ∀y∃x (x∈X∧y∈Y∧f(x)=y)
- 440 名前：１３２人目の素数さん mailto:sage [2005/05/23(月) 22:36:10 ]
- 下が成り立ってたらすごいことになるな
|
 |
