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

NSTso

Класс термов: NSTso.

Определение класса NSTso:
1) {S₁, P₁, Q₁, M₁, S₂, P₂, Q₂, M₂, ..., S_n, P_n, Q_n, M_n, ...}NSTso;
2) {a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, ..., a_n, b_n, c_n, d_n, ...}NSTso;
3) (t є NSTso) => (t´ є NSTso).