Solitamente, quando si progetta un linguaggio L per parlare di una classe di L-strutture, alcuni simboli di L (predicati, funzioni) sono definiti, tramite enunciati, a partire da altri simboli di L.
L'interpretazione degli simboli può essere definita tramite enunciati
$$ \forall x\ doppio(x)=x+x $$
$$ \forall x\ potenza(x,0)=1\\\forall x\forall n\ potenza(x,n+1)=potenza(x,n)\times x $$