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

NSTsa

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

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