Форма́льная тео́рия — это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства.
Множество символов
![](http://info.babylon.com/cgi-bin/BabylonInformation5.fcgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=1976)
может быть конечным или бесконечным. Обычно для образования символов используют конечное множество букв, к которым при необходимости, приписываются в качестве индексов целые числа или выражения.