Terms for subject Logic containing SYStem

English	Russian
axiomatic system	аксиоматическая система
every system	всякая система (значений переменных ssn)
for every system of values of a1, a2, . . ., aN	для всякой системы значений переменных a1, a2, . . ., aN (ssn)
logic processing system	система логико-вычислительной обработки (Alex_Odeychuk)