基礎論なぜなにスレッド その{φ,{φ},{φ,{φ}}}

91 名前：１３２人目の素数さん mailto:sage [03/03/02 22:04] >>89 世代の問題ではなく、一階述語論理上の公理系として 考えることが、数学としての成果を上げるのに好都合 だからだろう。 >>90 高階だから、ではなく、形式系だから、ということ。 高橋氏も新井氏もPrawitzもHenkinも、その結果が 「本来の二階論理」のものではないことは分かって いるはず。又、本来の二階論理が形式的に取り扱えない からといって、それを無視してよいことにはならない。 現に>>79は、standard modelといっている。これは 本来の二階論理こそが数学を規定しているという意識 の現れである。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef