11/06/12 20:29:48.85
>>746
完全性定理を
古典述語論理の論理記号から代数（ブール代数になる）作って、
意味づけする方針で証明すれば、
「ブール代数がある適当な集合代数で表現できる。」ことが必要だと
わかる、これがACから証明できWKLと同じだということで納得できませんか。
肝心なのをひろい忘れてるじゃないか。
>>724 >直感主義述語論理の強完全性定理の証明にはACA0があればおｋ
>>726 >古典論理だとWKL0だから、RCA0 + weak K nig's lemma