Каждая теорема, выраженная языком математических символов, называется математической формулой. Каждая формула может быть доказана или выведена, а поэтому представляет собой утверждение, сформулированное в виде теоремы. Язык математических символов, который называют математическим языком или математической символикой, характеризуется лаконичностью и выразительностью. В математических предложениях часто используются отношения, соответствующие знакам: и др. Часто применяются различные буквенные знаки: – свойство имеет место для всякого ; – свойство выполняется по крайней мере для одного ; – свойство выполняется для большинства значений ; – есть элемент множества .