- 709 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 01:59:43.23 ]
- また「おかしい君」＝>>686が訳分かってないで騒いでるよ。
>>29に至る話の流れを見てからにしろよな。
述語論理の解釈に集合論使ったら循環論法だのなんだのって話だったとこから
（これについての是非はおいておくが）
述語論理の無矛盾性は集合論を使わなくてもできるっていうのが>>29だろ。
だからみんな解釈とか持ち出さなくていい
シンタクティカルな無矛盾性の証明方法を教えてた。
1点からなる構造で解釈なんて、失笑しか起きないぜ。
>>701のレスは自分で話の流れを理解してませんと白状しているようなもん。
もっとも>>699も理解してないようだがな。
