Miks on konspektis vaja järgmist definitsiooni?

Definitsioon 1.75 Termi t väärtus t^α interpretatsioonis α indiviidmuutujate fikseeritud väärtustel leitakse järgmiste reeglite abil.

1. Kui t = x, kus x on indiviidmuutuja, siis t^α on muutuja x väärtus.
2. Kui t = c, kus c on konstantsümbol, siis t^α = c^α.
3. Kui t = f(t₁, . . ., t_n), kus f on n-kohaline funktsionaalsümbol ja t₁, . . ., t_n on termid, siis t^α = f^α(t₁^α, . . ., t_n^α).