Kommutativer Halbring/Gleichheit/Nicht repräsentierbar/Aufgabe

Aus Wikiversity

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.