まず p.77 定理5.6（および定理5.8）に関してです。『定理5.6 １）において表現可能な全域関数や関係は、すべて再帰的である。 ２）任意の再帰的全域関数、任意の再帰的関係は、上の適当な論理式、ならびに適当な論理式でにおいて表現される。』 おおっとい…