Исчисление


 * алфавит
 * множество всех слов алфавита (объединение всех декартовых степеней алфавита)
 * множество выражений (подмножество множества всех слов)
 * множество аксиом (подмножество множества выражений)
 * множество правил вывода (множество частичных операций на множестве выражений)