田中一之、鈴木登志雄著『数学のロジックと集合論』

再帰定理の証明ですが、この証明から急に雑になります。
日本語の本によくありがちですが、むらのある本は最悪ですね。