Le funzioni <b>N</b>&nbsp;<IMG SRC="FRECCIA.GIF">&nbsp;<b>N</b> sono in quantit&agrave; pi&ugrave; che numerabile (<img src=alef.gif><sub><span style="font-size:smaller">0</span></sub><sup><img src=alef.gif align=top><span style="font-size:smaller">0</span></sup>) mentre le funzioni ricorsive sono in quantit&agrave; numerabile (qualunque sia il formalismo considerato, si tratta di oggetti disponibili in un elenco numerato: programmi in ordine di lunghezza e, in seconda battuta, in ordine alfabetico, o sistemi di equazioni o insiemi di quadruple ordinati in modo analogo, o ...)