tn+1 = Composition[Abstraction[Deduction[tn]]]; t0 = s; tn, s ∈ S; n ∈ NDeduction[] – Оператор дедукции. ∀s ∈ S, deductionk[s] ∈ S, k ∈ N, k > 1,deduction[s] ≝ deduction2[s].Abstraction[] – Оператор абстракции. ∀s ∈ S, abstraction[s] ⊂ S.Composition[] – Оператор композиции. ∀U ⊂ S, U ≠ ∅, composition[U] ≠ ∅,composition[U] ∈ S.