Metóda, ktorou matematika dospieva k svojim rovnostiam, je substitučná metóda.
Pretože rovnosti vyjadrujú nahraditeľnos? dvoch výrazov a od istého počtu rovností postupujeme k novým rovnostiam tak, že - v zhode s týmito rovnos?ami - jedny výrazy nahrádzame inými.

Ak sú dva výrazy spojené znakom totožnosti, tak to znamená, že sú navzájom nahraditeľné. Či to však tak je, to sa musí ukazova? na týchto dvoch výrazoch samých.
To, že dva výrazy sú navzájom nahraditeľné, charakterizuje ich logickú formu.

Logiku sveta, ktorú vety logiky ukazujú v tautológiách, ukazuje matematika v rovnostiach.

Veta matematiky nevyjadruje nikajú myšlienku.