primitive recursive set function

De Wikipédia, l'encyclopédie libre