ein Satz der Berechnungstheorie, der besagt, daß alle berechenbaren Funktionen einer gegebenen Stelligkeit n durch Variation eines einzigen Parameters aus einer universellen (n + 1)-stelligen berechenbaren Funktion hervorgehen (berechenbare Funktion, universelle Funktion, universelle Turingmaschine).