グッドスタインの定理は、ペアノ算術では証明できないが集合論では証明できる命題の一例ですが、
同じように、再帰的関数論の定理で集合論を必要とするものは知られていますか？