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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Eine Lösung erstellen