исчисление

Часть речисущ.Значений1
  1. система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов — букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы), 4) правила вывода теорем (производных доказуемых формул) из аксиом

Источник: статья «исчисление» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.