- 646 名前：１３２人目の素数さん [2005/10/06(木) 10:56:46 ]
- ありがとうございました。
あと、
『数学基礎論講義』で、
構造（Ｎ,＋,・,s,0）で真である論理式の集合を公理とする理論は完全であるが、具体的には、なにがこの理論の公理なのかがわからないので、このままでは使えない。
ある理論が数学として妥当であるためには、その公理の集合が再帰的であること、が最低限要請される。
という部分があって、
理論の固有の公理の集合は再帰的である必要がある。
ということかな？とも思ったんですが、
r.e.公理化可能という言葉もあるし、理論の固有の公理の集合はr.eであればよかったんじゃなかったっけ？
と、ちょっと、よくわからないでいます。
