Prädikatenlogik/Modellkonstruktion/Peano-Arithmetik/Termäquivalenz/Aufgabe
Es sei 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.
