>>177
「○○は□□の証明だ」はprimitive recursiveだが、
「□□の証明が存在する」も「□□の証明が存在しない」も
primitive recursiveではないゾ。ワカッテルか？