Funzione ricorsiva: differenze tra le versioni

L'operatore μ è così definito:

 

:<math>\begin{align}

\mu\,y.(f(y, x_1, \ldots, x_n)=0)\ &\stackrel{\mathrm{def}}{=} \ \ il\ pi\grave{u}\ piccolo\ y\ tale\ che\ f(y, x_1, \ldots, x_n)=0\ \ (se\ esiste)