我们把标记逻辑定义在一个特殊双格上，通过比较标记选取结论，从而同时捕捉超协调（容错）推理和非单调推理．本文介绍标记逻辑程序的句法与语义构造，提出诱导序列及其极限的概念，给出极限存在的等价条件，并证明一个重要结果：诱导序列基本定理，它是后续讨论的基础． We define the markup logic on a special doublet and select the conclusion by comparing marks to capture both hyperconvergence (fault-tolerant) and nonmonotonic reasoning. This paper introduces the construction of syntax and semantics of markup logic program, proposes the concept of induction sequence and its limit, gives the equivalent condition of limit existence, and proves an important result: the basic theorem of induction sequence, which is the basis of subsequent discussion.