Konstruktive Durchführung der Multiplikation

Ich habe schon bemerkt, dass es einen Nachteil hat, wenn man die gewohnte Schreibweise für die Addition wählt. Man vergisst dann leicht die Freiheiten, die man noch hat. Man kann die Multiplikation in Abhängigkeit von einer Nachfolgebeziehung in $(\mathbb{N},s)$ programmieren. Einzige Voraussetzung muss sein, dass $s$ eine injektive Funktion ist. In der Sprache Lisp ist dies leicht möglich. Das Spiel kann man weitertreiben. Man erhält so die Potenz und verallgemeinert die Ackermannfunktion.