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