可遞歸公理化是模型論術語。
可遞歸公理化是模型論術語。可遞歸公理化(recursively axiomatizable)模型論術語.若獷中的理論T與丫中一個遞歸語句集合有相同的推論,則稱理論T是可遞歸公理化的....
無窮公理通常就是從這個角度陳述的。利用無窮性公理和子集公理(見子集公理模式)可以定義w為最小的歸納集,一旦有了w就可以證明歸納原則和遞歸定理,然後就可以遞歸地定義自然數上的各種運算。例如, 可以把加法定義為m+0=m,n+s(n)...