再帰的公理化可能
メモ
$ U
が
$ T
の
再帰的公理化可能
な拡大理論であるとき，
$ U
を
$ T
の
計算可能拡大理論
ということがある．
再帰的であることと計算可能であることは一致する，という観点から．