Die natürliche Arithmetik, also die Menge der in N {\displaystyle {}\mathbb {N} } wahren Ausdrücke N ⊨ {\displaystyle {}\mathbb {N} ^{\vDash }} ,
erlaubt Repräsentierungen.
