>>128非常によくわかりました。
誠にありがとうございます。
つまりＢがＡから導かれるならばとうぜんＡが証明可能⇒Ｂが証明可能
は成り立ちますが、Ａが証明可能⇒Ｂが証明可能だからといってＢがＡから導かれるわけではない。
おかげさまでだいぶすっきりしました。
僕のような頭の悪い人間にもこういったことが理解できるいい数理論理学の本はないですか？
それとも自分でこういったことは考える必要ありですか？