- 413 名前：１３２人目の素数さん [2005/05/15(日) 17:04:14 ]
- >>399
＞ロッサーの可証述語というものについて、誰か教えてください。
教えてやってもよいが、いくら払う？
＞「ある論理式φの証明ｙがあって、ｙよりゲーデル数が小さなものは
＞どれも¬φの証明ではない」ということらしいですが
＞なんで、〜より小さなもの、ということを
＞言わなければいけないのか、がわかりません。
わからん、とすればそこだろうな
＞「ある論理式φの証明があって、ある¬φの証明は無い」
＞ではだめなのでしょうが、その理由がよくわかりません。
その文章ではダメだな。せめて
「ある論理式φの証明があって、どれも¬φの証明では無い」
くらいにいわんと。
