归纳理论

又称理论。一个理论T称为归纳的，如果T等价于一语句的集合，语句指形式x…xy…yA的语句，A中无量词。许多代数理论都是归纳的。如果理论T是归纳的，则T的模型的任何上升链

的并是T的一个模型。