Terms for subject Logic containing System of System

English	Russian
categorical system of postulates	категорическая система постулатов
for every system of values of a1, a2, . . ., aN	для всякой системы значений переменных a1, a2, . . ., aN (ssn)