Нечёткая логика и теория нечётких множеств — раздел арифметики, являющийся обобщением традиционной логики и теории множеств. Понятие нечёткой логики было в первый раз введено доктором Лотфи Заде в 1965 году. В его статье понятие огромного количества было расширено допущением, что функция принадлежности элемента к огромному количеству может принимать любые значения в интервале [0…1], а не только лишь 0 либо 1.

Такие огромного количества были названы нечёткими. Также создателем были предложены разные логические операции над нечёткими огромными количествами и предложено понятие лингвистической переменной, в качестве значений которой выступают нечёткие огромного количества.