>>208
大体の本、では質問の答になっていません。
ひょっとして数理論理の本を読んだことがないのですか?