Prädikatenlogik/N/Elementare Äquivalenz/Addition/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir betrachten das Symbolalphabet mit der natürlichen Interpretation auf . Zeige, dass jedes Element nur zu sich selbst elementar äquivalent

ist.