- 102 名前：９８とか [04/12/24 15:53:38]
- （紛らわしいひとですね・・。９２の中の人ですか・・。）
前原さんの本のクライゼルの注意の箇所をつまみ読みしたんですが、
ロッサーの論理式？を用いて1=0が証明できないことを表した論理式
が証明可能になるのは、無矛盾性の仮定の下でですよね？
実際、その証明に使われている定理のなかに無矛盾性を仮定して導かれている定理があるので、
無矛盾性を仮定しているように思われるんですが、前原さんは言及していないことが気になります。
他の定理では、いちいち無矛盾性の仮定に言及してあるんで、余計に気がかりです。
しかも、別の部分では、無矛盾性を表すロッサー型の論理式は「つねに証明できる」と書かれています。
ここには、どういった意図があるんですか？ぼくは何か愚かな勘違いを犯してるんですか？
助言お願いしたいです。
