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