- 582 名前：578 mailto:sage [2005/08/23(火) 23:34:49 ]
- >>580 >>581
メリットはまったくご指摘のとおり自己満足です。最近数学やってて自分の論理展開に
よく不安を感じるんですが、そうするとなぜか論理展開の形式化に走っちゃうんです。
ですからバカな疑問なんだろうなあ、とはつくづく思っています。
もし皆さんならどんな関数記号を導入しますか？述語記号はどんなものにしますか？
もちろんそれはどんな公理を用意するかという疑問なんですが．．．
ペアノの公理なんか今までなんとも思ってなかったんですが、何もない時期にああいう
公理を抽出するってのはやっぱりすごいことだったんでしょうねえ。しみじみ。
