ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ

от лат. sequentia - последовательность) - введенная в рассмотрение нем. математиком Г. Генценом (1934-35) разновидность понятия формальной системы (исчисления). В отличие от наиболее распространенного типа