- 606 名前：１３２人目の素数さん [2005/09/08(木) 17:25:04 ]
- 関数記号を使う等号付きの一階述語論理の公理系ということになると、A7が必要になってくるようなのですが、
そのときは、
A7 ∀x∀ｙ(x=y)→(φ(・・・・ｘ・・・・）＝φ(・・・・y・・・・）)
これでいいのでしょうか
（こっちA7 (x=y)→(φ(・・・・ｘ・・・・）＝φ(・・・・y・・・・）)じゃなくて）
＞（宿題）
∀ｘ∀ｙ（ｘ＝ｙ→ｙ＝ｘ）
と
∀ｘ∀ｙ∀ｚ（（ｘ＝ｙ∧ｙ＝ｚ）→ｘ＝ｚ）
とが、導出できるんだろう、ことは、状況からして、なんとなくわかりますが、とりあえず、今の俺には、ﾑﾘﾎﾟです。
>>599でもさらしましたが、
証明に関する経験も力量も、今の俺には、ほとんど、残念ながらないのですね。
