Математик формула ярҙамында бик ҡатмарлы һөйләмдәр йыйнаҡ һәм уңайлы күренештә яҙылырға мөмкин. Үҙгәреүсәнде ниндәйҙер өлкәнән теләһә ниндәй аныҡ объекттар менән алыштырып ҡуйғанда дөрөҫ булыусы формулалар, был өлкәлә тождестволы дөрөҫ формула тип аталалар. Мәҫәлән: «теләһә ниндәй a һәм b өсөн  тигеҙлеге дөрөҫ». Был тождествоны коммутатив ҡулсала ҡушыу һәм ҡабатлау ғәмәлдәре аксиомаһынан сығарырға мөмкин, улар шулай уҡ үҙҙәре тождество булып торалар.