Prädikatenlogik/Modellkonstruktion/Peano-Arithmetik/Termäquivalenz/Aufgabe

Es sei ${}\Gamma \subseteq L^{\rm {Ar}}$ die Peano-Arithmetik, also die Menge aller aus den erststufigen Peano-Axiomen ableitbaren Ausdrücke. Zeige, dass jeder variablenfreie Term im Sinne von Bemerkung äquivalent zu einem Term ist, bei dem das Multiplikationszeichen nicht mehr vorkommt.