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

Für das Symbolalphabet ${}\{0,'\}$ und die natürlichen Zahlen ${}\mathbb {N}$ 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 ${}n$ durch den Ausdruck ${}x=0^{\prime \prime \ldots \prime }$ mit ${}n$ Strichen eindeutig beschrieben.