Dedekind-Peano-Modell/Isomorphismus/Addition/Aufgabe
Es seien und Dedekind-Peano-Modelle der natürlichen Zahlen. Es sei
der eindeutig bestimmte Isomorphismus mit und für alle . Zeige, dass die Addition respektiert, dass also
für alle gilt.
Es seien
und
Dedekind-Peano-Modelle
der natürlichen Zahlen. Es sei
der eindeutig bestimmte Isomorphismus mit
und
für alle
. Zeige, dass
die Addition respektiert, dass also
für alle gilt.