- 800 名前：１３２人目の素数さん mailto:sage [2005/12/22(木) 03:27:33 ]
- その左のp.12に
ある論理式が証明できる(provable)というのは，その論理式がある推論の結
（以下省略
と書いてあるからそっちも充分注意しないといけないと思うけど、
「(*') Aを公理に追加すればBも証明できる」というような状況を
考えているわけではないと思う
├ A ならば├ B ということを自然演繹っぽく書いてるけど
実際上は証明の途中にAが出てきてそのさらに下にBが出てくるような状況を「想定」しているのかと
（(*)' から(*)はすぐにいえるからこれは別にかまわない
この逆に関しては、この本ではあまり気にする必要は無い）
p13の一番下の、
一般に，論理式A_1，A_2，…，A_nの全てが証明できれば
（以下省略
のほうは(*')の方の意味にしか解釈できないしね
この表記法は多少筆者のオリジナルじゃないかな？知らんけど
