В математической логике формальная теория - это набор предложений, выраженных на формальном языке.
Математическая теория, которая рассматривает формальные языки в целом, известна как теория формального языка.