Формула үҙгәреүсәндең (тигеҙләмәнең һ. б.) ҡиммәтен нисек эҙләргә икәнде хәбәр итергә тейеш; Формула («эҙләнгән дәүмәл = аңлатма» күренешендә яҙылған) дәүмәлде үҙенең параметрҙары аша билдәләй (программалауҙа ҡиммәт биреүгә (присваивание) оҡшаш һәм ҡайһы бер осраҡта Pascal телендәге кеүек «:=» диграф аша яҙыла, әммә асылда тигеҙләмәнең айырым осрағы булып иҫәпләнергә мөмкин); Формула асылда логик раҫлау булып тора: тождество (мәҫәлән, аксиома), теорема раҫлауы һ. б.