Информационная система по формальным теориям

N¹CST

Класс термов: N¹CST.

Определение класса N¹CST:
1) {S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}N¹CST;
2) (t є {S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ...}) => (t´ є N¹CST).