Prädikatenlogik/Elementare Äquivalenz/Natürliche Zahlen/Isolierende Ausdrücke/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Für das Symbolalphabet und die natürlichen Zahlen mit der kanonischen Interpretation sind sämtliche Klassen zur elementaren Äquivalenz einelementig und können auch durch Ausdrücke charakterisiert werden, und zwar wird die Zahl durch den Ausdruck mit Strichen eindeutig beschrieben.