Kommutativer Halbring/Gleichheit/Nicht repräsentierbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei das Axiomensystem eines kommutativen Halbringes. Zeige, dass die Gleichheit von natürlichen Zahlen (also die Diagonalrelation in ) durch den Ausdruck in nicht repräsentiert

wird.
Eine Lösung erstellen