Форма́льная тео́рия — это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства.
Множество символов
может быть конечным или бесконечным. Обычно для образования символов используют конечное множество букв, к которым при необходимости, приписываются в качестве индексов целые числа или выражения.