(n)formula, expressiona group of symbols that make a mathematical statement