Terms for subject Logic containing set

English	Russian
fuzzy set definition	определение нечёткого множества (Alex_Odeychuk)
recursively enumerable set	рекурсивно-перечислимое множество
set of inference rules	формальная система (Alex_Odeychuk)
truth set	условие истинности уравнения