原始再帰的関数の可証再帰性
Thm
任意の
原始再帰的関数
は
$ \bf PA
上で
可証再帰的
Ref
Lindström; "Aspects of Incompleteness", Fact 1.2
菊池; "不完全性定理", Theorem 6.3.2
菊池誠; "不完全性定理"
Thm 6.3.2